Sciweavers

4700 search results - page 788 / 940
» Reusable Web Services
Sort
View
WWW
2010
ACM
16 years 27 days ago
SpotRank: a robust voting system for social news websites
In a social news website people share content they found on the web, called news, then vote for those they like the most. Voting for a news is then considered as a recommendation,...
Thomas Largillier, Guillaume Peyronnet, Sylvain Pe...
FOSSACS
2010
Springer
16 years 27 days 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 25 days 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 19 days 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 19 days 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...