Sciweavers

4190 search results - page 229 / 838
» Implementing commitment-based interactions
Sort
View
106
Voted
HCI
2009
15 years 1 months ago
Automatically Structuring Text for Audio Learning
In recent years podcasting has been in great demand as a recreation and a learning tool. In this paper we describe the design and implementation of a system for automatically conve...
Barbara Leporini, Maria Claudia Buzzi, Marina Buzz...
96
Voted
HCI
2009
15 years 1 months ago
Management of Work Site Health-Promotion Programs: A Review
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...
Bernhard Zimolong, Gabriele Elke
165
Voted
ACSAC
2005
IEEE
15 years 9 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
148
Voted
SAC
2003
ACM
15 years 8 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
119
Voted
DSVIS
2003
Springer
15 years 8 months ago
Workspaces: A Multi-level Architectural Style for Synchronous Groupware
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
W. Greg Phillips, T. C. Nicholas Graham