5255 search results - page 662 / 1051 » Formal Methods for Privacy |
223
click to vote
FMCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
165
click to vote
FORMATS
2004
Springer
16 years 6 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...
188
click to vote
FORMATS
2004
Springer
16 years 6 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...
160
click to vote
FORMATS
2004
Springer
16 years 6 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...
180
click to vote
ICDCIT
2004
Springer
16 years 6 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...