4894 search results - page 834 / 979 » Dynamic Abstraction Planning |
170
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
204
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
169
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
146
click to vote
STOC
2000
ACM
15 years 10 months ago
2000
ACM
Abstract. We consider suffix tree construction for situations with missing suffix links. Two examples of such situations are suffix trees for parameterized strings and suffix trees...
178
click to vote
ITNG
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...