5353 search results - page 241 / 1071 » Modelling Contexts in the Or-BAC Model |
184
click to vote
MMM
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses the implementation of adaptability in environments that are based on the Standard Reference Model for Intelligent Multimedia Presentation Systems. This adapta...
199
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
174
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
189
click to vote
WSC
1997
15 years 8 months ago
1997
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
173
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...