963 search results - page 133 / 193 » Formal Analysis of BPMN Models Using Event-B |
DOLAP
1999
ACM
15 years 5 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
117
click to vote
WER
1998
Springer
15 years 5 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
130
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
107
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
129
click to vote
ER
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...