804 search results - page 5 / 161 » On the Termination of the Chase Algorithm |
CAISE
2003
Springer
15 years 3 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...
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
WDAG
2004
Springer
15 years 3 months ago
2004
Springer
An important problem in distributed systems is to detect termination of a distributed computation. A computation is said to have terminated when all processes have become passive ...
DC
2007
14 years 10 months ago
2007
An important problem in distributed systems is to detect termination of a distributed computation. A computation is said to have terminated when all processes have become passive a...
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...