2364 search results - page 186 / 473 » An Engine for Computing Well-Founded Models |
123
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
167
click to vote
TSE
2010
14 years 11 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
154
click to vote
WSC
1997
15 years 6 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
147
Voted
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
144
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...