5353 search results - page 835 / 1071 » Modelling Contexts in the Or-BAC Model |
186
click to vote
PODC
2005
ACM
16 years 8 days ago
2005
ACM
We study the distributed complexity of computing a maximal independent set (MIS) in radio networks with completely unknown topology, asynchronous wake-up, and no collision detecti...
170
click to vote
CEEMAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
165
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
195
click to vote
GI
2005
Springer
16 years 7 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
172
click to vote
STORYTELLING
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents the mechanisms proposed by a generic cognitive architecture for virtual characters with emotional influenced behaviors, called cognitiva, to maintain behavior ...