963 search results - page 71 / 193 » Formal Analysis of BPMN Models Using Event-B |
125
click to vote
CNSR
2006
IEEE
15 years 9 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
124
click to vote
JMLR
2011
14 years 10 months ago
2011
This paper reviews a class of methods to perform causal inference in the framework of a structural vector autoregressive model. We consider three different settings. In the first ...
216
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
116
Voted
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
156
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...