158 search results - page 28 / 32 » Strong logics of first and second order |
ICDE
2005
IEEE
15 years 3 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
69
Voted
MICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring...
81
Voted
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
78
Voted
SIGECOM
2010
ACM
15 years 2 months ago
2010
ACM
We designed and built the Gates Hillman Prediction Market (GHPM) to predict the opening day of the Gates and Hillman Centers, the new computer science buildings at Carnegie Mellon...
60
Voted
ENGL
2008
14 years 9 months ago
2008
We describe the growth of aluminum oxide (AlOx) on strong hydrophobic surfaces that consist of CH3-terminated self-assembled monolayers (CH3-SAMs) by utilizing atomic layer deposit...