Sciweavers

2106 search results - page 167 / 422
» Operational Semantics for DyLPs
Sort
View
BNCOD
2009
125views Database» more  BNCOD 2009»
15 years 4 months ago
The Adaptation Model of a Runtime Adaptable DBMS
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
Florian Irmert, Thomas Fischer, Frank Lauterwald, ...
SIGMOD
2005
ACM
93views Database» more  SIGMOD 2005»
16 years 6 months ago
Supporting Executable Mappings in Model Management
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
Sergey Melnik, Philip A. Bernstein, Alon Y. Halevy...
ATAL
2009
Springer
16 years 1 months ago
Roles and norms for programming agent organizations
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
SEMWEB
2007
Springer
16 years 18 days ago
On the Foundations of Computing Deltas Between RDF Models
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
Dimitris Zeginis, Yannis Tzitzikas, Vassilis Chris...
ICLP
2005
Springer
16 years 10 min ago
Guard and Continuation Optimization for Occurrence Representations of CHR
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
Jon Sneyers, Tom Schrijvers, Bart Demoen