949 search results - page 165 / 190 » Design and Implementation of Multi-scale Databases |
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
ICDCSW
2005
IEEE
14 years 3 months ago
2005
IEEE
When computer intrusions occur, one of the most costly, time-consuming, and human-intensive tasks is the analysis and recovery of the compromised system. At a time when the cost o...
INFOVIS
2005
IEEE
14 years 3 months ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
APWEB
2005
Springer
14 years 3 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
WEBDB
2005
Springer
14 years 3 months ago
2005
Springer
In recent years it has been argued that when XML encodings become complex, DOM trees are no longer adequate for query processing. Alternative representations of XML documents, suc...