Sciweavers

2321 search results - page 120 / 465
» A Protocol for a Distributed Recommender System
Sort
View
DBSEC
2003
115views Database» more  DBSEC 2003»
15 years 2 months ago
Administration Rights in the SDSD-System
The SDSD-system offers state-dependent access control in distributed object systems. The system enforces protocols which declare sets of activity sequences as allowed, thereby for...
Joachim Biskup, Thomas Leineweber, Joerg Parthe
ATAL
2005
Springer
15 years 7 months ago
Temporal logics for normative agent communication protocols
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
Ulle Endriss
ATAL
2003
Springer
15 years 6 months ago
Aspects of protocol conformance in inter-agent dialogue
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
SEMWEB
2004
Springer
15 years 7 months ago
A Semantic Web Resource Protocol: XPointer and HTTP
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
Kendall Clark, Bijan Parsia, Bryan B. Thompson, Br...
VLDB
1990
ACM
166views Database» more  VLDB 1990»
15 years 5 months ago
The Tree Quorum Protocol: An Efficient Approach for Managing Replicated Data
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
Divyakant Agrawal, Amr El Abbadi