305 search results - page 53 / 61 » Petri Net Analysis Using Decision Diagrams |
161
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
166
click to vote
ICC
2009
IEEE
16 years 19 days ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
172
click to vote
TACAS
2007
Springer
16 years 12 hour ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
175
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
185
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...