226 search results - page 21 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
ISM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recent years have seen the emergence of wireless sensor network systems that must support high data rate and realtime queries of physical environments. This paper proposes Real-Ti...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— We propose a novel control framework for bilateral teleoperation of a pair of multi-degree-of-freedom (DOF) nonlinear robotic systems under constant communication delays. The p...
ECAI
2000
Springer
14 years 28 days ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...