4586 search results - page 403 / 918 » Computing stable models in parallel |
144
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
149
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
160
click to vote
DCOSS
2011
Springer
14 years 4 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
179
click to vote
EDOC
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
122
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
Time constraint is a key problem in workflow management. Now, with the emergence of new technologies such as web service, grid, this problem has become more complicated in service-...