77 search results - page 16 / 16 » Towards Rewriting in Coq |
NOMS
2006
IEEE
13 years 11 months ago
2006
IEEE
— While BGP routing datasets, consisting of raw routing data, are freely available and easy to obtain, extracting any useful information is tedious. Currently, researcher and net...
PVLDB
2008
13 years 4 months ago
2008
Supporting graceful schema evolution represents an unsolved problem for traditional information systems that is further exacerbated in web information systems, such as Wikipedia a...