11160 search results - page 2016 / 2232 » Incompleteness in a General Setting |
179
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
149
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
167
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
143
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
147
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...