27 search results - page 3 / 6 » dexa 2003 |
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
Query optimizers in current database management systems (DBMS) often face problems such as intolerably long optimization time and/or poor optimization results when optimizing compl...
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
Moving-objects databases need a spatio-temporal indexing scheme for moving objects to efficiently process queries over continuously changing locations of the objects. A simple exte...
DEXA
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...