Sciweavers

7529 search results - page 1238 / 1506
» The Modula-3 Type System
Sort
View
CSFW
2007
IEEE
16 years 29 days ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
DASFAA
2007
IEEE
208views Database» more  DASFAA 2007»
16 years 29 days ago
Probabilistic Nearest-Neighbor Query on Uncertain Objects
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
Hans-Peter Kriegel, Peter Kunath, Matthias Renz
GLOBECOM
2007
IEEE
16 years 29 days ago
Exit Policy Violations in Multi-Hop Overlay Routes: Analysis and Mitigation
— The traffic exchanged between two overlay nodes in different autonomous systems (AS) is always subjected to a series of inter-domain policies. However, overlay routing often m...
Srinivasan Seetharaman, Mostafa H. Ammar
GLOBECOM
2007
IEEE
16 years 29 days ago
Recursive Sliding-Window LMMSE-Based Equalization in Wireless Mobile Coded OFDM
— Orthogonal frequency division multiplexing (OFDM) system suffers extra performance degradation in fast fading channels due to intercarrier interference (ICI). Combining frequen...
Daniel N. Liu, Michael P. Fitz
HICSS
2007
IEEE
98views Biometrics» more  HICSS 2007»
16 years 29 days ago
A Tool for Training and Assistance in Emergency Response Planning
This paper presents research on developing a new type of software tool for training and assisting the personnel in emergency response planning. The tool, called Disciple-VPT, will...
Gheorghe Tecuci, Mihai Boicu, Thomas Hajduk, Dorin...
« Prev « First page 1238 / 1506 Last » Next »