245 search results - page 8 / 49 » Software Performance Modeling Using UML and Petri Nets |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for performance evaluation of app...
TOPNOC
2008
14 years 9 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
76
Voted
HASE
1999
IEEE
15 years 1 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...