Sciweavers

5707 search results - page 252 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
16 years 26 days ago
Simulatable VRFs with Applications to Multi-theorem NIZK
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
Melissa Chase, Anna Lysyanskaya
INFOCOM
2002
IEEE
15 years 11 months ago
Application of Network Calculus to General Topologies using Turn-Prohibition
Abstract— Network calculus is known to apply in general only to feedforward routing networks, i.e., networks where routes do not create cycles of interdependent packet flows. In...
David Starobinski, Mark G. Karpovsky, Lev Zakrevsk...
VR
2000
IEEE
208views Virtual Reality» more  VR 2000»
15 years 11 months ago
Virtual Environment Applications in Clinical Neuropsychology
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...
Albert A. Rizzo, J. Galen Buckwalter, Cheryl van d...
ANSS
2004
IEEE
15 years 10 months ago
Normalizing Traffic Pattern with Anonymity for Mission Critical Applications
Intruders often want to analyze traffic pattern to get information for his some malicious activities in ultra-secure network. This paper presents a general approach to prevent tra...
Dongxi Liu, Chi-Hung Chi, Ming Li
WSC
2008
15 years 9 months ago
An application of parallel Monte Carlo modeling for real-time disease surveillance
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
David W. Bauer, Mojdeh Mohtashemi