963 search results - page 129 / 193 » Formal Analysis of BPMN Models Using Event-B |
111
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
114
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
203
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
113
click to vote
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Frequent itemsets mining is a popular framework for pattern discovery. In this framework, given a database of customer transactions, the task is to unearth all patterns in the for...
109
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...