231 search results - page 38 / 47 » Mu-calculus path checking |
ICTAC
2005
Springer
14 years 28 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
ISCIS
2005
Springer
14 years 28 days ago
2005
Springer
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
CSL
2004
Springer
14 years 24 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
ICRA
2003
IEEE
14 years 21 days ago
2003
IEEE
In Robotics, many path-planning algorithms have been proposed but almost all are evaluated only by their path lengths in PC. However, the evaluation is completely independent of a...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...