3387 search results - page 457 / 678 » Model-Checking for Real-Time Systems |
171
click to vote
ESANN
1998
15 years 8 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
176
click to vote
FMOODS
2000
15 years 8 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
171
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
193
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
179
click to vote
HVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...