3281 search results - page 123 / 657 » An Approach to use Executable Models for Testing |
113
Voted
IADIS
2003
15 years 4 months ago
2003
Sure that quality applications must be well thought and described before the development phase and that a design methodology can be much more than a help in most occasions, we pro...
162
Voted
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
145
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
133
Voted
TSMC
1998
15 years 2 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
132
Voted
RTSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...