12774 search results - page 2437 / 2555 » A Framework for Proof Systems |
179
click to vote
SENSYS
2003
ACM
15 years 11 months ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
169
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
Network intrusions have been a fact of life in the Internet for many years. However, as is the case with many other types of Internet-wide phenomena, gaining insight into the glob...
182
click to vote
VRST
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
209
click to vote
EAGC
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
159
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...