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