28 search results - page 6 / 6 » Decidability Results for Saturation-Based Model Building |
ISN
1999
Springer
13 years 9 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
CIDR
2003
13 years 6 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
Continuous queries are queries for which responses given to users must be continuously updated, as the sources of interest get updated. Such queries occur, for instance, during on...