Sciweavers

1369 search results - page 144 / 274
» A Practical Implementation of the Timing Attack
Sort
View
147
Voted
ESA
1998
Springer
145views Algorithms» more  ESA 1998»
15 years 9 months ago
Moving-Target TSP and Related Problems
Previous literature on the Traveling Salesman Problem (TSP) assumed that the sites to be visited are stationary. Motivated by practical applications, we introduce a time-dependent ...
Christopher S. Helvig, Gabriel Robins, Alexander Z...
110
Voted
OOPSLA
1992
Springer
15 years 9 months ago
Concurrency Annotations
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
Klaus-Peter Löhr
SNPD
2004
15 years 6 months ago
Addressing State Explosion in Behavior Protocol Verification
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
Martin Mach, Frantisek Plasil
591
Voted

Presentation
964views
13 years 11 months ago
P2P video broadcast based on per-peer transcoding
We have previously proposed a P2P video broadcast method called MTcast for simultaneously delivering video to user peers with different quality requirements. In this paper, we desi...
152
Voted
ICCVW
1999
Springer
15 years 9 months ago
A General Method for Feature Matching and Model Extraction
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
Clark F. Olson