Sciweavers

1384 search results - page 102 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
DC
2008
14 years 10 months ago
Fast computation by population protocols with a leader
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
Dana Angluin, James Aspnes, David Eisenstat
MOBILITY
2009
ACM
15 years 4 months ago
A membership management protocol for mobile P2P networks
MANETs are self-organizing networks composed of mobile wireless nodes with often scarce resources. Distributed applications based on the P2P paradigm are by nature good candidates...
Mohamed Karim Sbai, Emna Salhi, Chadi Barakat
DALT
2006
Springer
15 years 1 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
ATAL
2005
Springer
15 years 3 months ago
Modeling exceptions via commitment protocols
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
Ashok U. Mallya, Munindar P. Singh
HAPTICS
2007
IEEE
15 years 4 months ago
Haptic Models of an Automotive Turn-Signal Switch: Identification and Playback Results
Creating accurate haptic models of physical devices is critical to improving the realism and immersiveness of virtual environments. This paper addresses the problem of modeling th...
Mark B. Colton, John M. Hollerbach