176 search results - page 28 / 36 » Modelling with Generalized Stochastic Petri Nets |
111
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
113
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
111
click to vote
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
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...
FSTTCS
2006
Springer
15 years 3 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...