4340 search results - page 206 / 868 » Formal Methods and Cryptography |
191
Voted
FM
1999
Springer
15 years 11 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...
167
Voted
FM
2005
Springer
16 years 18 days 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...
176
click to vote
ICFCA
2004
Springer
16 years 13 days 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 ā...
154
click to vote
FORMATS
2003
Springer
16 years 8 days 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...
217
Voted
RE
2001
Springer
15 years 11 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...