Sciweavers

5523 search results - page 861 / 1105
» Web service derivatives
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
152
Voted
HICSS
2008
IEEE
118views Biometrics» more  HICSS 2008»
16 years 1 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
150
Voted
ICALT
2008
IEEE
16 years 1 months ago
Moving Towards Life-Long User Modeling
User Modeling is the core component for the majority of personalization services. It has become an important factor in the effort to personalise a diversity of web resources accor...
Demetris Kyriacou, Hugh C. Davis