13917 search results - page 89 / 2784 » Abstraction of Probabilistic Systems |
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
JSS
2010
14 years 8 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
CC
2008
Springer
14 years 10 months ago
2008
Springer
