5255 search results - page 664 / 1051 » Formal Methods for Privacy |
204
click to vote
ISOLA
2004
Springer
16 years 28 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...
212
click to vote
SFM
2004
Springer
16 years 28 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...
189
click to vote
SFM
2004
Springer
16 years 28 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...
192
click to vote
CAV
2003
Springer
16 years 24 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...
188
click to vote
EGOV
2003
Springer
16 years 24 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...