963 search results - page 116 / 193 » Formal Analysis of BPMN Models Using Event-B |
118
click to vote
C3S2E
2009
ACM
15 years 5 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
SAS
2001
Springer
15 years 6 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
157
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
103
click to vote
BCSHCI
2008
15 years 3 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
111
click to vote
JCS
2006
15 years 1 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...