Electronic Books

Total Books: 181 - 200 /248

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...

This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...

The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...

This book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...

The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...

This book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...

Telecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...

This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...

This book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.

Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...

The book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...

This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...

This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...

The book features valuable discussions of relevant concepts that examine the various approaches which define emerging theoretical ...

The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...

The book present original research in the field of service oriented computing, from theoretical and foundational results ...

The book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...

Total Books: 181 - 200 /248