862 search results - page 21 / 173 » A Framework for Testing Peer-to-Peer Systems |
PTS
2007
13 years 9 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
The advent of mobile phones and the Internet opened the doors for an emerging class of applications that connect mobile users to online resources and information services availabl...
IJON
2002
13 years 7 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...