2024 search results - page 312 / 405 » A Formal Model of Multi-agent Computations |
108
click to vote
CLIMA
2006
15 years 20 days ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
IJCAI
2001
15 years 19 days ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
COLING
1996
15 years 17 days ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
BPM
2010
Springer
15 years 11 days ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
75
Voted
ESORICS
2010
Springer
15 years 11 days ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...