3885 search results - page 208 / 777 » Transformations for Write-All-with-Collision Model |
154
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
144
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
140
Voted
APN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
150
click to vote
MODELLIERUNG
2008
15 years 6 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
163
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...