Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee mas
Resilient Networks and Services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lee mas
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lee mas
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lee mas
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lee mas
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lee mas
Secure Data Management : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings
This book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Lee mas
Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lee mas
Security and Cryptography for Networks : 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings
This book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...
Lee mas
Security for Telecommunications Networks
Telecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
Lee mas
Security of Networks and Services in an All-Connected World
This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lee mas
Self-Organizing Systems : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
This book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
Lee mas
Semantic Grid: Model, Methodology, and Applications
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...
Lee mas
Semantic Multimedia : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings
The book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...
Lee mas
Semantic Systems. The Power of AI and Knowledge Graphs
This book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...
Lee mas
Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers
This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lee mas
Sensor and Ad-Hoc Networks : Theoretical and Algorithmic Aspects
The book features valuable discussions of relevant concepts that examine the various approaches which define emerging theoretical ...
Lee mas
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
The book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lee mas
Service-Oriented Computing - ICSOC 2008 : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
The book present original research in the field of service oriented computing, from theoretical and foundational results ...
Lee mas
Service-Oriented Computing: Agents, Semantics, and Engineering : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings
The book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...
Lee mas
