5203 search results - page 809 / 1041 » An approach to workflow modeling and analysis |
174
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
152
click to vote
CONTEXT
2005
Springer
16 years 5 days ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
149
click to vote
CONCUR
2004
Springer
16 years 18 hour ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
179
click to vote
FMCO
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
160
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...