5255 search results - page 282 / 1051 » Formal Methods for Privacy |
123
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis ļ¬rst steps are done into the direction of a conceptual theory of ā...
101
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for speciļ¬cation of (shared) resource requirements and resource schedulers. The goal of this app...
159
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
136
click to vote
B
1998
Springer
15 years 8 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
134
click to vote
JISE
1998
15 years 4 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....