10707 search results - page 78 / 2142 » Designing executable abstractions |
145
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
124
click to vote
ECMDAFA
2010
Springer
15 years 6 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
132
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
107
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
114
click to vote
IFIP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...