1949 search results - page 152 / 390 » Protective Interface Specifications |
102
click to vote
AAAI
2000
15 years 3 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
117
click to vote
ICDIM
2010
IEEE
14 years 11 months ago
2010
IEEE
Funded as part of the `Network Enabled Platforms' program the Health Services Virtual Organization (HSVO) Project has developed a network-enabled platform (NEP) consisting of...
126
Voted
FAST
2009
14 years 11 months ago
2009
In this paper we describe Cumulus, a system for efficiently implementing filesystem backups over the Internet. Cumulus is specifically designed under a thin cloud assumption--that...
CHI
2006
ACM
16 years 2 months ago
2006
ACM
There is currently much interest in notions of experience-centered design in Human-Computer Interaction (HCI). A great deal of the research and practice in this area is at the bou...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...