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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Security for Telecommunications Networks
Telecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
اقرأ المزيد
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, ...
اقرأ المزيد
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.
اقرأ المزيد
Semantic Grid: Model, Methodology, and Applications
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
