5550 search results - page 1023 / 1110 » Different Approaches to Proof Systems |
169
click to vote
IWCMC
2006
ACM
16 years 13 days ago
2006
ACM
In the next generation wireless systems (NGWS) the end user will be able to connect to any of the different available access networks. The end user will also be able to roam seaml...
207
click to vote
PPOPP
2006
ACM
16 years 13 days 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...
192
click to vote
SENSYS
2006
ACM
16 years 13 days ago
2006
ACM
Sensor networks are fundamentally constrained by the difficulty and energy expense of delivering information from sensors to sink. Our work has focused on garnering additional si...
179
click to vote
ICEIS
2005
IEEE
16 years 2 days ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
184
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...