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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Satellite Communications and Navigation Systems
Satellite Communications and Navigation Systems publishes the proceedings of the 2006 Tyrrhenian International Workshop on ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Secure Data Management
Although a number of cryptography and security techniques have been around for quite some time, emerging technologies, such ...
اقرأ المزيد
Secure Data Management (vol. # 3674)
This book constitutes the refereed proceedings of the 9th VLDB Workshop on Secure Data Management held in Istanbul, Turkey, ...
اقرأ المزيد
Secure Data Management (vol. # 4165)
the use of new technologies has brought some privacy concerns. It becomes simpler to collect, store, and search personal ...
اقرأ المزيد
Security Protocols
Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was ...
اقرأ المزيد
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 ...
اقرأ المزيد
Security Protocols (vol. # 3957)
" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme ...
اقرأ المزيد
Security and Privacy in Ad-hoc and Sensor Networks (vol. # 3813)
It clearly demonstrates the continued importance, popularity andtimeliness oftheworkshop’stopic: securityandprivacy inadhocandsensor ...
اقرأ المزيد
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 ...
اقرأ المزيد
Security and Privacy in Dynamic Environments
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
اقرأ المزيد
Security in Pervasive Computing (vol. # 3934)
This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...
اقرأ المزيد
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-Managed Networks, Systems, and Services
This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
اقرأ المزيد
Semantic Management of Middleware
Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...
اقرأ المزيد
