1398 search results - page 201 / 280 » Ensuring Properties of Interaction Systems |
178
click to vote
HAPTICS
2010
IEEE
15 years 11 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...
164
click to vote
CLIMA
2004
15 years 7 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
151
click to vote
PUC
2008
15 years 5 months ago
2008
Researchers have begun to explore tools that allow multiple users to collaborate across multiple devices in collocated environments. These tools often allow users to simultaneously...
176
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we present STP, a system in which communicating end hosts use untrusted mobile code to remotely upgrade each other with the transport protocols that they use to com...
166
click to vote
TGC
2007
Springer
16 years 11 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...