Sciweavers

28 search results - page 6 / 6
» A Stable Model Semantics for Behavioral Inheritance in Deduc...
Sort
View
RULES
1993
Springer
134views Database» more  RULES 1993»
13 years 10 months ago
Temporal Rule Specification and Management in Object-oriented Knowledge Bases
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
Stanley Y. W. Su, Hsin-Hsing M. Chen
VLDB
1998
ACM
170views Database» more  VLDB 1998»
13 years 6 months ago
Advanced Data Processing in KRISYS: Modeling Concepts, Implementation Techniques, and Client/Server Issues
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
Stefan Deßloch, Theo Härder, Nelson Men...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 1 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer