10870 search results - page 465 / 2174 » Model Checking Programs |
210
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
276
click to vote
TSE
2011
15 years 2 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
166
click to vote
SIGSOFT
2000
ACM
16 years 2 days ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
190
click to vote
HICSS
1997
IEEE
15 years 12 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
193
click to vote
DSS
2006
15 years 7 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...