2357 search results - page 124 / 472 » Computing Refactorings of Behavior Models |
146
click to vote
CONCUR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
152
click to vote
WSC
1997
15 years 4 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
138
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
170
Voted
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...
137
click to vote
STOC
1996
ACM
15 years 7 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...