963 search results - page 89 / 193 » Formal Analysis of BPMN Models Using Event-B |
104
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
116
click to vote
DEON
2010
Springer
15 years 3 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
113
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
113
click to vote
ICNP
2002
IEEE
15 years 6 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
123
click to vote
UAI
2004
15 years 2 months ago
2004
An autonomous variational inference algorithm for arbitrary graphical models requires the ability to optimize variational approximations over the space of model parameters as well...