Noisy data appears very naturally in applications where the authentication is based on physical identifiers, such as human ...
Lire la suite
These are the proceedings of SAC 2006, the thirteenth annual workshop on Selected Areas in Cryptography. The workshop was ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
Lire la suite
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suite
This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...
Lire la suiteThis book gives an overview of cutting-edge work on a new paradigm called the "sublinear computation paradigm," which was ...
Lire la suite
The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Lire la suite
This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
Lire la suite
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suite
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
Lire la suite
The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
Lire la suite
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Lire la suite
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suite
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Lire la suite
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Lire la suite
The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Lire la suite