4340 search results - page 206 / 868 » Formal Methods and Cryptography |
139
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
114
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
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 ā...
102
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...
160
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...