83 search results - page 16 / 17 » Deviation Analysis Through Model Checking |
APN
2004
Springer
13 years 9 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
BMCBI
2007
13 years 6 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
JIPS
2010
13 years 23 days ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
TCAD
2008
13 years 5 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...