5255 search results - page 664 / 1051 » Formal Methods for Privacy |
186
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
195
click to vote
SFM
2004
Springer
16 years 5 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
176
click to vote
SFM
2004
Springer
16 years 5 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
173
click to vote
CAV
2003
Springer
16 years 1 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
167
click to vote
EGOV
2003
Springer
16 years 1 days ago
2003
Springer
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...