1222 search results - page 245 / 245 » Verifying a File System Implementation |
DLOG
2011
12 years 8 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
ICDE
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...