This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Lire la suite
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suite
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
Lire la suite
Cryptology, for millennia a "secret science", is rapidly gaining in practical importance for the protection of communication ...
Lire la suite
The benefits of reading this book are twofold. The first is an understanding of the stages of a new product development process ...
Lire la suite
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent ...
Lire la suite
In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Lire la suite
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Lire la suite
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lire la suite
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Lire la suite
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suite
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Lire la suite
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suite
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...
Lire la suite
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lire la suite
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Lire la suite
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
Lire la suite
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly ...
Lire la suite
This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
Lire la suite