382 search results - page 20 / 77 » Checking Interval Based Properties for Reactive Systems |
JCS
2008
13 years 8 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
ICN
2009
Springer
14 years 1 months ago
2009
Springer
In contrast to classic train protection systems where most of the safety measures are built into the rail infrastructure, future versions of the European railway safety system ERT...
PDSE
1998
13 years 10 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
SIGCOMM
2012
ACM
11 years 11 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...
TFS
2008
13 years 8 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...