1360 search results - page 138 / 272 » Reasoning on Workflow Executions |
KR
2004
Springer
14 years 3 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
ASP
2001
Springer
14 years 2 months ago
2001
Springer
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
ASP
2001
Springer
14 years 2 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
GIS
1999
ACM
14 years 2 months ago
1999
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involv...