73 search results - page 2 / 15 » Continuization of Timed Petri Nets: From Performance Evaluat... |
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
13 years 10 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
IPPS
2005
IEEE
13 years 10 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
SMC
2007
IEEE
13 years 11 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
SBCCI
2004
ACM
13 years 10 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
HASE
1999
IEEE
13 years 9 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 ...