Sciweavers

13987 search results - page 522 / 2798
» The Two Guards Problem
Sort
View
ICN
2001
Springer
15 years 11 months ago
Secure Communication: A New Application for Active Networks
SplitPath is a new application for the easy, well-known and provably secure one-time pad encryption scheme. Two problems hinder the one-time pad scheme from being applied in the ar...
Manuel Günter, Marc Brogle, Torsten Braun
MICCAI
2001
Springer
15 years 11 months ago
Mass Preserving Mappings and Image Registration
Image registration is the process of establishing a common geometric reference frame between two or more data sets from the same or different imaging modalities possibly taken at ...
Steven Haker, Allen Tannenbaum, Ron Kikinis
SPIN
2001
Springer
15 years 11 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
IPPS
1999
IEEE
15 years 11 months ago
Oblivious Deadlock-Free Routing in a Faulty Hypercube
A central problem in massively parallel computing is efficiently routing data between processors. This problem is complicated by two considerations. First, in any massively parall...
Jin Suk Kim, Eric Lehman, Frank Thomson Leighton
CPM
1999
Springer
141views Combinatorics» more  CPM 1999»
15 years 11 months ago
Approximate Periods of Strings
The study of approximately periodic strings is relevant to diverse applications such as molecular biology, data compression, and computer-assisted music analysis. Here we study di...
Jeong Seop Sim, Costas S. Iliopoulos, Kunsoo Park,...