Sciweavers

3733 search results - page 612 / 747
» Logics of communication and change
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 10 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
GECCO
2006
Springer
15 years 10 months ago
Dominance hierarchies and social diversity in multi-agent systems
In this study, we investigate self-organizing social hierarchies in multi-agent systems. Agents occupy the nodes of a smallworld network and interact exclusively with other agents...
Michael Kirley
HHCI
2000
15 years 10 months ago
Hand-Shaped Force Interface for Human-Cooperative Mobile Robot
Aiming at realization of direct and intuitive cooperation between human and robot, we propose an interface system for a two-wheeled, autonomous mobile robot that can take physical...
Riku Hikiji, Shuji Hashimoto
HUC
2000
Springer
15 years 10 months ago
Event-Driven, Personalizable, Mobile Interactive Spaces
Abstract An infrastructure is currently being deployed for delivering multimedia services using IP endto-end. Mobile devices and application resources, because of their computing c...
Theo Kanter
SC
2000
ACM
15 years 10 months ago
High Performance Reactive Fluid Flow Simulations Using Adaptive Mesh Refinement on Thousands of Processors
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...
A. C. Calder, Bruce C. Curtis, L. J. Dursi, Bruce ...