4340 search results - page 219 / 868 » Formal Methods and Cryptography |
126
Voted
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
127
Voted
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
146
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
150
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
134
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...