5451 search results - page 439 / 1091 » Typed Operational Semantics |
164
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
150
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
170
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provi...
195
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
201
click to vote
CC
2005
Springer
15 years 8 months ago
2005
Springer
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...