Sciweavers

674 search results - page 97 / 135
» Arguments and Results
Sort
View
GLOBECOM
2007
IEEE
14 years 3 months ago
LOFT: A Latency-Oriented Fault Tolerant Transport Protocol for Wireless Sensor-Actuator Networks
— Wireless sensor-actuator networks, or WSANs, refer to a group of sensors and actuators which collect data from the environment and perform application-specific actions in resp...
Edith C. H. Ngai, Yangfan Zhou, Michael R. Lyu, Ji...
CRYPTO
2007
Springer
145views Cryptology» more  CRYPTO 2007»
14 years 2 months ago
Chernoff-Type Direct Product Theorems
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
Russell Impagliazzo, Ragesh Jaiswal, Valentine Kab...
CSL
2007
Springer
14 years 2 months ago
Typed Normal Form Bisimulation
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
Søren B. Lassen, Paul Blain Levy
SCALESPACE
2007
Springer
14 years 2 months ago
Bayesian Non-local Means Filter, Image Redundancy and Adaptive Dictionaries for Noise Removal
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...
Charles Kervrann, Jérôme Boulanger, P...
APSEC
2006
IEEE
14 years 2 months ago
Cohesion Analysis in Linux Kernel
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
K. Vinay Kumar Reddy, D. Janakiram