Sciweavers

3346 search results - page 408 / 670
» A Generic Rendering System
Sort
View
160
Voted
ACNS
2008
Springer
121views Cryptology» more  ACNS 2008»
16 years 1 months ago
Anonymity in Transferable E-cash
Regular cash systems provide both the anonymity of users and the transferability of coins. In this paper, we study the anonymity properties of transferable e-cash. We define two n...
Sébastien Canard, Aline Gouget
DSN
2007
IEEE
16 years 1 months ago
Assessing Robustness of Web-Services Infrastructures
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
ATAL
2007
Springer
16 years 25 days ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
B
2007
Springer
16 years 25 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
CLEF
2007
Springer
16 years 25 days ago
Overview of the ImageCLEFphoto 2007 Photographic Retrieval Task
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
Michael Grubinger, Paul Clough, Allan Hanbury, Hen...