4340 search results - page 501 / 868 » Formal Methods and Cryptography |
160
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
185
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
158
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
177
click to vote
ICDCIT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
188
click to vote
ICTAC
2004
Springer
16 years 3 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...