963 search results - page 82 / 193 » Formal Analysis of BPMN Models Using Event-B |
107
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
110
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
126
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
108
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...