2024 search results - page 160 / 405 » A Formal Model of Multi-agent Computations |
150
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
131
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
122
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we introduce the semantic network model (SNM), a generalization of the hidden Markov model (HMM) that uses factorization of state transition probabilities to reduce...
155
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
157
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...