28 search results - page 6 / 6 » A Semantical Approach to Stable Inheritance Reasoning |
CSL
1998
Springer
13 years 9 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
MOBICOM
2005
ACM
13 years 11 months ago
2005
ACM
Abiding geocast is a time stable geocast delivered to all nodes that are inside a destination region within a certain period of time. Services like position–based advertising, p...