Sciweavers

7776 search results - page 40 / 1556
» Maintaining Maintainability
Sort
View
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
16 years 9 days 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»
16 years 9 days ago
A Uniform System for Publishing and Maintaining XML Data
Byron Choi, Wenfei Fan, Xibei Jia, Arek Kasprzyk
COOPIS
2003
IEEE
16 years 8 days ago
Maintaining Ontologies for Geographical Information Retrieval on the Web
Christopher B. Jones, Alia I. Abdelmoty, Gaihua Fu