963 search results - page 70 / 193 » Formal Analysis of BPMN Models Using Event-B |
108
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
108
click to vote
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
104
click to vote
CCGRID
2003
IEEE
15 years 6 months ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...
117
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are dif...
160
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...