963 search results - page 80 / 193 » Formal Analysis of BPMN Models Using Event-B |
126
click to vote
JSW
2007
15 years 1 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
111
click to vote
AAAI
2008
15 years 3 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
148
click to vote
TKDE
2012
13 years 3 months ago
2012
—As the exponential explosion of various contents generated on the Web, Recommendation techniques have become increasingly indispensable. Innumerable different kinds of recommend...
206
click to vote
ECCB
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
114
click to vote
CHES
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a Path Swapping (PS) method which enables to enhance the security of Quasi Delay Insensitive Asynchronous Circuits against Power Analysis (PA) attack. This appr...