963 search results - page 97 / 193 » Formal Analysis of BPMN Models Using Event-B |
ACIVS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
143
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
108
click to vote
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
130
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
121
click to vote
JCS
2010
14 years 12 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...