2546 search results - page 374 / 510 » In support of city exploration |
139
click to vote
SIGOPSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
190
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
171
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
173
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
199
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...