Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28 full papers presented together with 2 invited papers in this volume were carefully reviewed and selected from 48 submissions. The papers are grouped in topical sections on perfect sequences; finite fields, boolean functions, Golomb 80th birthday session, linear complexity, frequency hopping, correlation of sequences, bounds on sequences, cryptography, aperiodic correlation, and Walsh transform."

"This book constitutes the refereed proceedings of the 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, held in Luxembourg in June 2012. The 10 full papers presented were carefully reviewed and selected from 23 submissions. They cover autonomic and distributed management, network security, network monitoring, and special environments and Internet of Things. In addition, this book contains 9 workshop papers which were selected from 18 submissions. They deal with high-speed networks and network management, intrusion detection, and network monitoring and security."

"This book constitutes the refereed proceedings of the 9th International Workshop on Algorithms and Models for the Web-Graph, WAW 2012, held in Halifax, Nova Scotia, Canada, in June 2012. The 13 papers presented were carefully reviewed and selected for inclusion in this volume. They address a number of topics related to the complex networks such hypergraph coloring games and voter models, algorithms for detecting nodes with large degrees, random Appolonian networks, and a sublinear algorithm for Pagerank computations."

"This book constitutes the proceedings of the 6th International Conference on Information Theoretic Security, ICITS 2012, held in Montreal, Canada, in August 2012. The 11 full papers presented in this volume were carefully reviewed and selected from 46 submissions. In addition 11 papers were selected for the workshop track, abstracts of 7 of these contributions are also included in this book. Topics of interest ar, physical layer security, multiparty computations, codes, lattices and cryptography, authentication codes, randomness extraction, cryptography from noisy channels, wiretap channels, bounded-storage models, information-theoretic reductions, quantum cryptography, quantum information theory, nonlocality and nonsignaling, key and message rates, secret sharing, physical models and assumptions, network coding security, adversarial channel models, information-theoretic tools in computational settings, implementation challenges, and biometric security."

"This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta, Canada, in August 2012. The 33 revised papers including one invited talk and one keynote talk were carefully reviewed and selected from 57 submissions. The papers are focused to theoretical results and also on recent works on experimental and applied research of general algorithmic interest."

"This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. The 24 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on mobile middleware, tracing and diagnosis, architecture and performance; publish/subscribe middleware, and big-data and cloud computing, availability, security and privacy."

"This book constitutes the proceedings of the 5th International Conference on Similarity Search and Applications, SISAP 2012, held in Toronto, Canada, in August 2012. The 14 full papers presented in this volume, together with 2 demo papers and 2 invited talks, were carefully reviewed and selected from 19 submissions. The papers deal with many of the most relevant aspects of similarity searching and are organized in topical sections named, new scenarios and approaches, improving metric data structures, facing scalability issues, searching in specific spaces, and new similarity spaces."

"This book constitutes the refereed proceedings of the 20 th International Conference on User Modeling, Adaptation, and Personalization, held in Montreal, Canada, in July 2012. The 22 long and 7 short papers of the Research Paper Track presented were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on user engagement; trust; user motivation, attention, and effort, recommender systems (including topics such as matrix factorization, critiquing, noise and spam in recommender systems), user centered design and evaluation, educational data mining, modeling learners, user models in microblogging, and visualization. The Industry Paper Track covered innovative commercial implementations or applications of UMAP technologies, and experience in applying recent research advances in practice. 2 long and 1 short papers were accepted of 5 submissions."

"This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012. The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections, business process model analysis, service and component composition, language and models, system variants and configuration, process mining, ontologies, requirements and goal models, compliance, monitoring and prediction, services, case studies, business process design, feature models and product lines, and human factors."

"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."