18924 search results - page 3718 / 3785 » Conformance of Distributed Systems |
PODS
2010
ACM
14 years 24 days ago
2010
ACM
The notion of certain answers arises when one queries incompletely specified databases, e.g., in data integration and exchange scenarios, or databases with missing information. W...
DSN
2002
IEEE
14 years 20 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
HICSS
2002
IEEE
14 years 20 days ago
2002
IEEE
Unexpectedly, the widespread availability of very very high speed (Broadband) bandwidth into communities and within large centres has become not only a long-term possibility but a...
ICPPW
2002
IEEE
14 years 20 days ago
2002
IEEE
Recently, the low price and the small size of the mobile device makes a great success in personal mobile communication. A lot of people use a cell phone, PDA, and laptop computer ...
ISCA
2002
IEEE
14 years 19 days ago
2002
IEEE
Due to shrinking technologies and increasing design sizes, it is becoming more difficult and expensive to distribute a global clock signal with low skew throughout a processor di...