611 search results - page 30 / 123 » Relative simulation and model checking of real-time processe... |
DLOG
2009
13 years 6 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
WSC
2007
13 years 11 months ago
2007
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...