Sciweavers

576 search results - page 33 / 116
» XML-RL Update Language
Sort
View
ISOTAS
1993
15 years 3 months ago
Maintaining Behavioral Consistency during Schema Evolution
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
Paul L. Bergstein, Walter L. Hürsch
CORR
2007
Springer
79views Education» more  CORR 2007»
14 years 11 months ago
Ontology and Formal Semantics - Integration Overdue
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
Walid S. Saba
LOGCOM
2000
69views more  LOGCOM 2000»
14 years 11 months ago
Object calculi in linear logic
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,...
INLG
2010
Springer
14 years 9 months ago
Generating Referring Expressions with Reference Domain Theory
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
Alexandre Denis
ECOOP
2005
Springer
15 years 5 months ago
Derivation and Evaluation of Concurrent Collectors
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
Martin T. Vechev, David F. Bacon, Perry Cheng, Dav...