Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Continue reading
SOFSEM 2007: Theory and Practice of Computer Science
This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Continue reading
SQL Server 2008 Transact-SQL Recipes
SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
Continue reading
Satellite Communications and Navigation Systems
Satellite Communications and Navigation Systems publishes the proceedings of the 2006 Tyrrhenian International Workshop on ...
Continue reading
Saturn and How to Observe It
Saturn is the second largest planet in the solar system, and the only one with a spectacular ring system easily visible from ...
Continue reading
Scaling Topic Maps : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
Continue reading
Scientific Applications of Grid Computing
This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...
Continue reading
Secure Data Management
Although a number of cryptography and security techniques have been around for quite some time, emerging technologies, such ...
Continue reading
Secure Data Management (vol. # 3674)
This book constitutes the refereed proceedings of the 9th VLDB Workshop on Secure Data Management held in Istanbul, Turkey, ...
Continue reading
Secure Data Management (vol. # 4165)
the use of new technologies has brought some privacy concerns. It becomes simpler to collect, store, and search personal ...
Continue reading
Security Protocols
Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was ...
Continue reading
Security Protocols (vol. # 3364)
Theme this time was “Where have all the Protocols gone?” Once upon a time security protocols lived mainly in the network ...
Continue reading
Security Protocols (vol. # 3957)
" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme ...
Continue reading
Security and Privacy in Ad-hoc and Sensor Networks (vol. # 3813)
It clearly demonstrates the continued importance, popularity andtimeliness oftheworkshop’stopic: securityandprivacy inadhocandsensor ...
Continue reading
Security and Privacy in Ad-hoc and Sensor Networks (vol. # 4357)
"These procee dingscontain the papers of the 3rd European Workshopon Security and Privacy in Ad Hoc and Sensor Networks ...
Continue reading
Security and Privacy in Dynamic Environments
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Continue reading
Security in Pervasive Computing (vol. # 3934)
This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...
Continue reading
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, ...
Continue reading
Self-Managed Networks, Systems, and Services
This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
Continue reading
Semantic Management of Middleware
Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...
Continue reading
