882 search results - page 78 / 177 » Allowing State Changes in Specifications |
214
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
173
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...
146
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
148
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
142
click to vote
DSVIS
1995
Springer
15 years 9 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...