Sciweavers

4496 search results - page 746 / 900
» DACS Web Service
Sort
View
76
Voted
CSFW
2009
IEEE
15 years 5 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...
84
Voted
TRUSTBUS
2009
Springer
15 years 4 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»
15 years 4 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
15 years 4 months 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 ...
HICSS
2008
IEEE
118views Biometrics» more  HICSS 2008»
15 years 4 months ago
Television-Mediated Conversation: Coherence in Italian iTV SMS Chat
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...
Asta Zelenkauskaite, Susan C. Herring