23201 search results - page 104 / 4641 » Rewriting Systems with Data |
161
click to vote
ER
2008
Springer
15 years 7 months ago
2008
Springer
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
170
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
141
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
234
click to vote
VLDB
2004
ACM
16 years 5 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
162
click to vote
TAGT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...