This book constitutes the refereed proceedings of the 7th International Workshop on Distributed Computing, IWDC 2004, held ...
Lire la suiteThis book constitutes the best papers of the Third International Conference on E-business and Telecommunication Networks, ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on E-Democracy, E-Democracy 2019, held ...
Lire la suiteThis book contains fields of e-business and telecommunication networks, including aspects related to security, wireless systems, ...
Lire la suiteThis book contains fields of e-business and telecommunication networks, including aspects related to security, wireless systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and Open Society: Challenges ...
Lire la suiteThis book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, ...
Lire la suiteThis book constitutes the refereed conference proceedings of the Third International Conference on Emerging Technologies ...
Lire la suiteThe 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 suiteThis book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...
Lire la suiteThis book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems ...
Lire la suiteFast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography ...
Lire la suiteThis book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
Lire la suiteThe author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lire la suiteThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suiteThis book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lire la suiteFORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Lire la suiteThis book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...
Lire la suite