Search results
Lecture Notes in Computer Science > Agent-Oriented Software Engineering X > State-of-the-Art Survey > 213-228
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 135-138
Lecture Notes in Computer Science > Biometrics and Identity Management > Biometric Attacks and Countermeasures > 150-159
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 472-479
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Policy Verification and Enforcement > 1-15
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 224-246
NATO Security through Science Series > Ecological Risks Associated with the Destruction of Chemical Weapons > Introduction > 7-14
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > 6th FP Integrated Project DECOS > 358-371
Lecture Notes in Computer Science > Real-Time and Embedded Computing Systems and Applications > Tools and Development > 595-617
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Talks (Extended Abstracts) > 23-27