380 search results - page 54 / 76 » Operational Semantics for Declarative Networking |
126
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
WEBI
2001
Springer
15 years 4 months ago
2001
Springer
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression—a generalization of an XML element by incorporatio...
DBPL
1993
Springer
15 years 3 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
110
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...