Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer,Communication and Software Systems, SFM 2009
Evaluation of Electronic Voting : Requirements and Evaluation Procedures to Support Responsible Election Authorities
Computational Intelligence Methods for Bioinformatics and Biostatistics: 5th International Meeting,CIBB 2008, Vietri Sul Mare, Italy, October 3-4, 20
Enabling Semantic Web Services : The Web Service Modeling Ontology
Communication Complexity and Parallel Computing
Agents and Peer-To-Peer Computing: 5th International Workshop,AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Advances in Bioinformatics and Computational Biology: Third Brazilian Symposium on Bioinformatics,Bsb 2008, Sao Paulo, Brazil, August 28-30, 2008, Pr
Optical Supercomputing: First International Workshop,Osc 2008, Vienna, Austria, August 26, 2008, Proceedings
Post-Quantum Cryptography : Second International Workshop,PQCrypto 2008 Cincinnati, OH, USA October 17-19, 2008 Proceedings
Enterprise Knowledge Infrastructures
Model-Driven Testing : Using the UML Testing Profile
Security Protocols XVI : 16th International Workshop,Cambridge, UK, April 16-18, 2008. Revised Selected Papers
