الصفحة 8
الصفحة 8
Developments in language theory ; 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Basic Notions of Reaction Systems / A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms / Algebraic and Topological Models for DNA Recombinant Processes / Contributed Papers : Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet / On Competence in CD Grammar Systems / The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels, and other
Developments in Language Theory ; 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.
Developments in Language Theory ; 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.
Designing virtual reality systems : The structured approach
Virtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. Developing and maintaining a VR system is a very difficult task, requiring in-depth knowledge in many different disciplines, such as sensing and tracking technologies, stereoscopic displays, multimodal interaction and processing, computer graphics and geometric modeling, dynamics and physical simulation, performance tuning, etc. The difficulty lies in the complexity of having to simultaneously consider many system goals, some of which are conflicting.
Design process Improvement : A review of current practice
Intended for business leaders who want to understand the role of design management as a driver for commercial success; design managers who want to improve their company design procedures; designers who want to know how to design more efficiently and researchers who want to explore the field of design process improvement
Design computing and cognition 08 ; Proceedings of the 3rd International conference on design computing and cognition
This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes the successful series Artificial Intelligence in Design (AID) published by Kluwer (now Springer) since 1992.
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in the following fields: evolutionary design and "intelligent design" in biology, art, computational embryogeny, and engineering.
Decrypted Secrets : Methods and Maxims of Cryptology
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication channels, databases, and software. Beside its role in computerized information systems (public key systems), more and more applications within computer systems and networks are appearing, which also extend to access rights and source file protection. The first part of this book treats secret codes and their uses - cryptography. The second part deals with the process of covertly decrypting a secret code - cryptanaly-sis - where in particular advice on assessing methods is given. The book presupposes only elementary mathematical knowledge.
Declarative agent languages and technologiesV ; 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
Declarative agent languages and technologies IV ; 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
Database Theory – ICDT 2007 ; 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive power of query languages, incompleteness, inconsistency, and uncertainty, XML schemas and typechecking, stream processing and sequential query processing, ranking, XML update and query, as well as query containment.
Data Complexity in Pattern Recognition
Data Complexity in Pattern Recognition is unique in its comprehensive coverage and multidisciplinary approach from various methodological and practical perspectives. Researchers and practitioners alike will find this book an insightful reference to learn about the current status of available techniques as well as application areas.
Data and applications security XXII ; 22nd Annual IFIP WG 11.3 Working Conference on data and applications security London, UK, July 13-16, 2008 Proceedings
This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC) held in L- don, UK, July 13–16, 2008.
Cryptology and Network Security ; 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008.
Cryptography and coding ; 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings
This book presented signatures, boolean functions, block cipher cryptanalysis, side channels, linear complexity, public key encryption, curves, and RSA implementation.
Cryptographic hardware and embedded systems - CHES 2008 ; 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded Systems, CHES 2008, held in Washington, D.C., USA, during August 10-13, 2008.
Cryptanalytic Attacks on RSA
RSA is a public-key cryptographic system, and is the most famous and widely-used cryptographic system in today's digital world. Cryptanalytic Attacks on RSA, a professional book, covers almost all major known cryptanalytic attacks and defenses of the RSA cryptographic system and its variants.
Coordination models and languages ; 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Contemporary Cryptology
The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: Efficient distributed computation modulo a shared secret / Multiparty computation / Foundations of modern cryptography / Provable security for public key schemes / Efficient and secure public-key cryptosystems.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
