Sciweavers

2913 search results - page 262 / 583
» How Much to Copy
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 8 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
DAWAK
2001
Springer
15 years 8 months ago
An Experimental Performance Evaluation of Incremental Materialized View Maintenance in Object Databases
The development of techniques for supporting incremental maintenance of materialized views has been an active research area for over twenty years. However, although there has been ...
M. Akhtar Ali, Norman W. Paton, Alvaro A. A. Ferna...
ECAL
2001
Springer
15 years 8 months ago
Stability of Metabolic and Balanced Organisations
We investigate the possible organisations emerging from an artificial chemistry (AC) of colliding molecules in a well stirred reactor. The molecules are generated from 7 basic comp...
Pietro Speroni di Fenizio, Wolfgang Banzhaf
PFE
2001
Springer
15 years 8 months ago
Representing Product Family Architectures in an Extensible Architecture Description Language
Abstract. Product family architectures need to be captured much like “regular” software architectures. Unfortunately, representations for product family architectures are scarc...
Eric M. Dashofy, André van der Hoek
ROBVIS
2001
Springer
118views Robotics» more  ROBVIS 2001»
15 years 8 months ago
RoboCup-99: A Student's Perspective
One of the reasons for organizing robotic games is that they allow researchers to evaluate their systems and approaches on a level playing field. This evaluation is important in a...
Jacky Baltes