705 search results - page 36 / 141 » System Diagnosability Analysis Using p-slop MAP |
MVA
1990
14 years 11 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
105
click to vote
PTS
2008
14 years 11 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
103
click to vote
IASTEDSE
2004
14 years 11 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
108
click to vote
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents PipeProbe, a mobile sensor system for determining the spatial topology of hidden water pipelines behind walls. PipeProbe works by dropping a tiny wireless sens...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Our aim is to explore the fundamental stability issues of a robotic vehicle carrying out localization, mapping, and feedback control in a perturbation-filled environment. Moti...