1980 search results - page 139 / 396 » Compositional Model Checking of Real Time Systems |
139
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
123
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
102
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
114
click to vote
SI3D
1995
ACM
15 years 5 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
JPDC
2006
15 years 1 months ago
2006
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...