3281 search results - page 285 / 657 » An Approach to use Executable Models for Testing |
123
click to vote
DEDS
2002
15 years 3 months ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
167
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
140
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...
151
Voted
IHIS
2005
ACM
15 years 9 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
147
Voted
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer defines a ...