245 search results - page 35 / 49 » Software Performance Modeling Using UML and Petri Nets |
133
click to vote
FIRBPERF
2005
IEEE
15 years 5 months ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...
98
Voted
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...
199
Voted
AWPN
2008
15 years 1 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
112
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...