3901 search results - page 533 / 781 » software 2008 |
196
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
171
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Supporting fast access to large RDF stores has been one of key challenges for enabling use of the Semantic Web in real-life applications, more so in sensor-based systems where lar...
310
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
285
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
142
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...