5255 search results - page 665 / 1051 » Formal Methods for Privacy |
147
Voted
FM
2003
Springer
16 years 1 days ago
2003
Springer
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...
173
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
183
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
176
click to vote
FORMATS
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
166
click to vote
FORMATS
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...