253 search results - page 35 / 51 » Formal analysis of timed continuous Petri nets |
103
click to vote
BPM
2003
Springer
15 years 7 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...
126
Voted
BPM
2007
Springer
15 years 3 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
133
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
117
click to vote
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
113
click to vote
EPEW
2008
Springer
15 years 3 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...