Sciweavers

4328 search results - page 683 / 866
» A New Kind of Science
Sort
View
SPIN
2004
Springer
15 years 11 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
STACS
2004
Springer
15 years 11 months ago
An Algorithmic View on OVSF Code Assignment
OrthogonalVariableSpreadingFactor(OVSF)codesareusedinUMTStosharetheradiospectrum among several connections of possibly different bandwidth requirements. The combinatorial core of t...
Thomas Erlebach, Riko Jacob, Matús Mihal&aa...
FOCS
2003
IEEE
15 years 11 months ago
Approximation Algorithms for Orienteering and Discounted-Reward TSP
In this paper, we give the rst constant-factor approximationalgorithmfor the rooted Orienteering problem, as well as a new problem that we call the Discounted-Reward TSP, motivate...
Avrim Blum, Shuchi Chawla, David R. Karger, Terran...
CCS
2003
ACM
15 years 11 months ago
A pairwise key pre-distribution scheme for wireless sensor networks
To achieve security in wireless sensor networks, it is important to be able to encrypt and authenticate messages sent among sensor nodes. Keys for encryption and authentication pu...
Wenliang Du, Jing Deng, Yunghsiang S. Han, Pramod ...
GI
2003
Springer
15 years 11 months ago
W-LAN, GPS, PDA - und NSB? Digitale Aktivisten in drahtlosen Netzen
: Der Beitrag skizziert ausgewählte Potenziale politischer Kommunikationsvorgänge in drahtlosen Netzwerken. In historischer Perspektive können W-LAN-Umgebungen dabei als „Fort...
Christoph Bieber, Erik Meyer