2357 search results - page 166 / 472 » Computing Refactorings of Behavior Models |
130
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
152
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
143
click to vote
CW
2003
IEEE
15 years 9 months ago
2003
IEEE
Information and infrastructure security is a serious issue of global concern. As the last line of defense for security infrastructure, intrusion detection techniques are paid more...
141
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
While diffusion of innovation topics in economics and majority games in game theory have been widely studied, the impact of economy-of-scale effects in aggregated decision making ...
163
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...