307 search results - page 44 / 62 » Causality and the Semantics of Provenance |
139
click to vote
IAT
2006
IEEE
16 years 3 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
174
click to vote
ICDIM
2006
IEEE
16 years 3 days ago
2006
IEEE
Ontologies have been proven invaluable tools both for the semantic web and for personal information management. In the context of a historical archive an ontology may provide mean...
184
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
139
click to vote
ATAL
2001
Springer
15 years 10 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
143
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...