This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suite
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suite
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lire la suite
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suite
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suite
This book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Lire la suite
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lire la suite
This book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...
Lire la suite
Telecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
Lire la suite
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lire la suite
This book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
Lire la suite
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...
Lire la suite
The book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...
Lire la suite
This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...
Lire la suite
This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suite
The book features valuable discussions of relevant concepts that examine the various approaches which define emerging theoretical ...
Lire la suite
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suite
The book present original research in the field of service oriented computing, from theoretical and foundational results ...
Lire la suite
The book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...
Lire la suite