409 search results - page 62 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
BPM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
110
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
102
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
96
Voted
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...