898 search results - page 59 / 180 » The Certification of Software Tools with respect to Software... |
FSTTCS
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...
SCM
1998
14 years 11 months ago
1998
Software Configuration Management (SCM) is the discipline of controlling the evolution of a software product. Product Data Management (PDM) is the disciple of designing and control...
167
click to vote
VLDB
2003
ACM
15 years 10 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
SEKE
1994
Springer
15 years 1 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...