Sciweavers

4665 search results - page 782 / 933
» Bioinformatics Web Services
Sort
View
FOSSACS
2010
Springer
16 years 1 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
CSFW
2009
IEEE
16 years 1 months ago
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
Najah Chridi, Mathieu Turuani, Michaël Rusino...
TRUSTBUS
2009
Springer
16 years 1 months ago
A Formalization of HIPAA for a Medical Messaging System
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
Peifung E. Lam, John C. Mitchell, Sharada Sundaram
BTW
2009
Springer
173views Database» more  BTW 2009»
16 years 1 months ago
Building Chemical Information Systems - the ViFaChem II Project
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
Sascha Tönnies, Benjamin Köhncke, Oliver...
CCGRID
2008
IEEE
16 years 28 days ago
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research
The CancerGrid consortium is developing openstandards cancer informatics to address the challenges posed by modern cancer clinical trials. This paper presents the service-oriented...
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew ...