Sciweavers

889 search results - page 25 / 178
» Problems in Rewriting III
Sort
View
EDBT
2004
ACM
132views Database» more  EDBT 2004»
14 years 10 months ago
Query-Customized Rewriting and Deployment of DB-to-XML Mappings
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...
Oded Shmueli, George A. Mihaila, Sriram Padmanabha...
LOPSTR
2009
Springer
14 years 4 months ago
Using Rewrite Strategies for Testing BUpL Agents
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...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
AUSDM
2006
Springer
97views Data Mining» more  AUSDM 2006»
14 years 1 months ago
Tracking the Changes of Dynamic Web Pages in the Existence of URL Rewriting
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...
Ping-Jer Yeh, Jie-Tsung Li, Shyan-Ming Yuan
RP
2010
Springer
150views Control Systems» more  RP 2010»
13 years 7 months ago
Rewriting Systems for Reachability in Vector Addition Systems with Pairs
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
Paulin Jacobé de Naurois, Virgile Mogbil
FDL
2003
IEEE
14 years 3 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...