1663 search results - page 64 / 333 » Validation and Verification of Simulation Models |
194
click to vote
TSE
2008
15 years 6 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
140
click to vote
FUIN
2008
15 years 6 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
202
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
183
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
189
click to vote
AIMS
2010
Springer
15 years 8 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...