466 search results - page 30 / 94 » A Theory of Rate-Based Execution |
ICDT
1997
ACM
15 years 1 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
An argumentation based negotiation model is supported by information theory. Argumentative dialogues change the models of agents with respect to ongoing relationships between them...
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
APN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...