81 search results - page 16 / 17 » Semantics for multi-agent only knowing: extended abstract |
PPDP
2009
Springer
14 years 10 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
EDBT
2000
ACM
13 years 9 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
LPKR
1997
Springer
13 years 10 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
JUCS
2008
13 years 5 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
TOG
2002
13 years 5 months ago
2002
We describe Chromium, a system for manipulating streams of graphics API commands on clusters of workstations. Chromium's stream filters can be arranged to create sort-first a...