VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Workshop on Distributed Computing, IWDC 2004, held ...
Lire la suite
This book constitutes the best papers of the Third International Conference on E-business and Telecommunication Networks, ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on E-Democracy, E-Democracy 2019, held ...
Lire la suite
This book contains fields of e-business and telecommunication networks, including aspects related to security, wireless systems, ...
Lire la suite
This book contains fields of e-business and telecommunication networks, including aspects related to security, wireless systems, ...
Lire la suite
This book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and Open Society: Challenges ...
Lire la suite
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, ...
Lire la suite
This book constitutes the refereed conference proceedings of the Third International Conference on Emerging Technologies ...
Lire la suite
The book presents mechanisms, protocols, and system architectures to achieve end-to-end Quality-of-Service (QoS) over heterogeneous ...
Lire la suiteEuro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...
Lire la suite
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...
Lire la suite
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems ...
Lire la suite
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography ...
Lire la suite
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
Lire la suite
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lire la suite
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lire la suite
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lire la suite