1364 search results - page 260 / 273 » Comparative Branching-Time Semantics |
PLDI
2010
ACM
14 years 15 days ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
COOPIS
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper describes the design and performance of a new asynchronous method handling (AMH) mechanism that allows CORBA servers to process client requests asynchronously. AMH deco...
SIGMOD
2010
ACM
14 years 7 days ago
2010
ACM
Real-world databases often contain syntactic and semantic errors, in spite of integrity constraints and other safety measures incorporated into modern DBMSs. We present ERACER, an...
CIKM
2009
Springer
14 years 1 days ago
2009
Springer
Biomedical images and captions are one of the major sources of information in online biomedical publications. They often contain the most important results to be reported, and pro...
GIS
2009
ACM
14 years 22 hour ago
2009
ACM
More and more users are contributing and sharing more and more contents on the Web via the use of content hosting sites and social media services. These user–generated contents ...