Sciweavers

6031 search results - page 858 / 1207
» Communicating Transaction Processes
Sort
View
SIGDOC
2005
ACM
15 years 11 months ago
Co-generation of text and graphics
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
David G. Novick, Brian Lowe
ADHOCNOW
2005
Springer
15 years 11 months ago
Enhancing the Security of On-demand Routing in Ad Hoc Networks
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
Zhenjiang Li, J. J. Garcia-Luna-Aceves
BPM
2005
Springer
118views Business» more  BPM 2005»
15 years 11 months ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
CISC
2005
Springer
116views Cryptology» more  CISC 2005»
15 years 11 months ago
Specifying Authentication Using Signal Events in CSP
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
GW
2005
Springer
103views Biometrics» more  GW 2005»
15 years 11 months ago
Implementing Expressive Gesture Synthesis for Embodied Conversational Agents
We aim at creating an expressive Embodied Conversational Agent (ECA) and address the problem of synthesizing expressive agent gestures. In our previous work, we have described the ...
Björn Hartmann, Maurizio Mancini, Catherine P...