11740 search results - page 41 / 2348 » More Problems in Rewriting |
GLVLSI
2002
IEEE
14 years 1 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
We present and analyze an algorithm for equivalent rewriting of XQuery queries using XQuery views, which is complete for a large class of XQueries featuring nested FLWR blocks, XM...
EDBT
2004
ACM
14 years 9 months ago
2004
ACM
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
AUSDM
2006
Springer
14 years 15 days ago
2006
Springer
Crawlers in a knowledge management system need to collect and archive documents from websites, and also track the change status of these documents. However, the existence of URL r...