253 search results - page 24 / 51 » Formal analysis of timed continuous Petri nets |
127
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
121
click to vote
WSC
2004
15 years 3 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
131
Voted
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
130
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
145
click to vote
IFIP
1992
Springer
15 years 6 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...