6608 search results - page 278 / 1322 » On the Completeness of Model Checking |
159
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
153
click to vote
IDEAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
145
Voted
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
179
Voted
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
169
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...