Sciweavers

7776 search results - page 40 / 1556
» Maintaining Maintainability
Sort
View
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
15 years 11 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
VLDB
2004
ACM
109views Database» more  VLDB 2004»
15 years 11 months ago
A Uniform System for Publishing and Maintaining XML Data
Byron Choi, Wenfei Fan, Xibei Jia, Arek Kasprzyk
COOPIS
2003
IEEE
15 years 11 months ago
Maintaining Ontologies for Geographical Information Retrieval on the Web
Christopher B. Jones, Alia I. Abdelmoty, Gaihua Fu