4212 search results - page 444 / 843 » Rights Expression Languages |
203
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination p...
162
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
171
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
175
click to vote
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
205
click to vote
RULES
1993
Springer
15 years 11 months ago
1993
Springer
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...