1748 search results - page 350 / 350 » A Model of Information Retrieval Based on a Terminological L... |
SIGMOD
2012
ACM
11 years 8 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
TPHOL
2007
IEEE
14 years 17 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
CBSE
2004
Springer
13 years 11 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...