Sciweavers

2421 search results - page 102 / 485
» Message from the Editor-in-Chief
Sort
View
PCI
2001
Springer
14 years 2 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...
KAIS
2000
131views more  KAIS 2000»
13 years 10 months ago
Intentions in the Coordinated Generation of Graphics and Text from Tabular Data
To use graphics efficiently in an automatic report generation system, one has to model messages and how they go from the writer (intention) to the reader (interpretation). This pap...
Massimo Fasciano, Guy Lapalme
CHI
2006
ACM
14 years 10 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 4 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 4 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...