Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed proceedings of the 9th Theory of Cryptography Conference, TCC 2012, held in Taormina, Sicily, Italy, in March 2012. The 36 revised full papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on secure computation, (blind) signatures and threshold encryption, zero-knowledge and security models, leakage-resilience, hash functions, differential privacy, pseudorandomness, dedicated encryption, security amplification, and resettable and parallel zero knowledge."

"This book constitutes the refereed proceedings of the 15th International Conference on Practice and Theory in Public Key Cryptography, PKC 2012, held in Darmstadt, Germany, in May 2012. The 41 papers presented were carefully reviewed and selected from 188 submissions. The book also contains one invited talk. The papers are organized in the following topical sections: homomorphic encryption and LWE, signature schemes, code-based and multivariate crypto, public key encryption, special properties, identity-based encryption, public-key encryption: constructions, secure two-party and multi-party computations, key exchange and secure sessions, public-key encryption: relationships, DL, DDH, and more number theory, and beyond ordinary signature schemes."

"This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012. The 19 revised selected papers presented were carefully reviewed and selected for inclusion in this book. In addition 4 papers of the workshop on bio and immune inspired algorithms and models for multi-level complex systems are included in this volume. Artificial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology, biology, medical science, computer science, physics, mathematics and engineering. The scope of AIS ranges from modelling and simulation of the immune system through to immune-inspired algorithms and in silico, in vitro and in vivo solutions."

"This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings."

"This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The volume also contains 7 papers from the industrial track. The papers cover the following topics, cloud computing, service quality and analysis, service composition and evolution, composition, security, modeling, and adaption."

"The 31 papers presented in this volume were carefully reviewed and selected from 72 submissions. They are organized in topical sections on cryptography from lattices, signature schemes, encryption schemes, efficient two-party and multi-party computation, security in the UC framework, cryptanalysis; efficient constructions, and protocols and combiners."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 5 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP; multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."

"The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting began with 6 workshops which offered an ideal opportunity to explore specific topics in evolutionary computation, bio-inspired computing and metaheuristics. PPSN 2012 also included 8 tutorials. The papers are organized in topical sections on evolutionary computation, machine learning, classifier systems, image processing, experimental analysis, encoding, EDA, GP, multiobjective optimization, swarm intelligence, collective behavior, coevolution and robotics, memetic algorithms, hybridized techniques, meta and hyperheuristics, and applications."

"This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition."

"The three-volume set LNAI 7196, LNAI 7197 and LNAI 7198 constitutes the refereed proceedings of the 4th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2012, held in Kaohsiung, Taiwan in March 2012. The 161 revised papers presented were carefully reviewed and selected from more than 472 submissions. The papers included cover the following topics: intelligent database systems, data warehouses and data mining, natural language processing and computational linguistics, semantic web, social networks and recommendation systems, collaborative systems and applications, e-bussiness and e-commerce systems, e-learning systems, information modeling and requirements engineering, information retrieval systems, intelligent agents and multi-agent systems, intelligent information systems, intelligent internet systems, intelligent optimization techniques, object-relational DBMS, ontologies and knowledge sharing, semi-structured and XML database systems, unified modeling language and unified processes, web services and semantic Web, computer networks and communication systems."