4190 search results - page 120 / 838 » Implementing commitment-based interactions |
130
Voted
TSE
1998
15 years 2 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
139
Voted
IACR
2011
14 years 2 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
227
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
122
Voted
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
143
Voted
MM
2004
ACM
15 years 8 months ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...