423 search results - page 26 / 85 » On Term Rewriting Systems Having a Rational Derivation |
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...
P2P
2007
IEEE
15 years 4 months ago
2007
IEEE
We develop a model of the interaction of rational peers in an incentive-free Peer-to-Peer (P2P) network and use game theoretic analysis to derive results about peer and network be...
ECSQARU
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...