245 search results - page 20 / 49 » Software Performance Modeling Using UML and Petri Nets |
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
125
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
109
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
100
click to vote
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...