630 search results - page 87 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
116
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
145
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
116
click to vote
ACSAC
2003
IEEE
15 years 5 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...
111
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
107
click to vote
TAMODIA
2008
15 years 2 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...