7960 search results - page 540 / 1592 » Systems for Knowledge and Beliefs |
226
click to vote
CSFW
2003
IEEE
16 years 15 days ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
227
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
169
click to vote
EUC
2008
Springer
15 years 9 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
216
click to vote
ENTCS
2006
15 years 7 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
182
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Wiki applications are becoming increasingly important for knowledge sharing between large numbers of users. To prevent against vandalism and recover from damaging edits, wiki appl...