746 search results - page 15 / 150 » Updates Under Pstable |
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
JAIR
2008
13 years 8 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper investigates the view update problem for XML views published from relational data. We consider (possibly) recursively defined XML views, compressed into DAGs and stored...
IFIP11
2004
13 years 9 months ago
2004
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
ICDE
1996
IEEE
14 years 9 months ago
1996
IEEE
View materialization is known to be a valuable technique for performance optimization in relational databases, and much work has been done addressing the problem of consistently m...