Sciweavers

2421 search results - page 165 / 485
» Message from the Co-Chairs
Sort
View
PCI
2001
Springer
14 years 1 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
CHI
2006
ACM
14 years 9 months ago
Visualizing email content: portraying relationships from conversational histories
We present Themail, a visualization that portrays relationships using the interaction histories preserved in email archives. Using the content of exchanged messages, it shows the ...
Fernanda B. Viégas, Judith S. Donath, Scott...
CRYPTO
2009
Springer
150views Cryptology» more  CRYPTO 2009»
14 years 3 months ago
Short and Stateless Signatures from the RSA Assumption
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
Susan Hohenberger, Brent Waters
WSFM
2007
Springer
14 years 3 months ago
From Public Views to Private Views - Correctness-by-Design for Services
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...
HICSS
2005
IEEE
126views Biometrics» more  HICSS 2005»
14 years 2 months ago
Challenges of Adopting Web Services: Experiences from the Financial Industry
Despite the many expected benefits of Web services technology, some organizations are hesitating to adopt Web services on a larger scale and across their organizational boundaries...
Andrew P. Ciganek, Marc N. Haines, William (Dave) ...