963 search results - page 47 / 193 » Formal Analysis of BPMN Models Using Event-B |
119
click to vote
TSP
2008
15 years 1 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
144
click to vote
FORTE
1994
15 years 2 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
131
click to vote
NETWORKING
2007
15 years 2 months ago
2007
This paper presents a general model to study the medium access control (MAC) layer performance and equilibrium of WLANs consisting of nodes with different MAC parameters (e.g., ba...
117
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...