7557 search results - page 679 / 1512 » Modeling Timed Concurrent Systems |
167
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
210
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
183
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
197
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
174
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...