1206 search results - page 217 / 242 » Concurrent Abstract Predicates |
104
click to vote
BPM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
108
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
79
Voted
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...
100
click to vote
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
105
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...