963 search results - page 117 / 193 » Formal Analysis of BPMN Models Using Event-B |
113
Voted
WSC
2008
15 years 5 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
148
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
146
Voted
CMOT
2000
15 years 3 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
156
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
130
Voted
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...