Sciweavers

2687 search results - page 368 / 538
» Group communication support for distributed collaboration sy...
Sort
View
AGENTS
2000
Springer
15 years 10 months ago
Hormone-based control for self-reconfigurable robots
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...
Wei-Min Shen, Yimin Lu, Peter M. Will
FASE
2004
Springer
15 years 9 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
SSS
2009
Springer
103views Control Systems» more  SSS 2009»
16 years 4 days ago
Network-Friendly Gossiping
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
Sabina Serbu, Etienne Riviere, Pascal Felber
ICSE
2004
IEEE-ACM
16 years 5 months ago
Toward Undoing in Composite Web Services
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
Marie-Claude Gaudel
186
Voted
HAPTICS
2006
IEEE
15 years 11 months ago
Portable Haptic Display for Large Immersive Virtual Environments
This paper introduces Portable Haptic Display (PHD), a novel platform-independent haptic rendering system that can be conveniently integrated into a large immersive virtual enviro...
Enkhtuvshin Dorjgotov, Seungmoon Choi, Steven R. D...