Sciweavers

4609 search results - page 672 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ENGL
2008
100views more  ENGL 2008»
15 years 6 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
IEICET
2006
131views more  IEICET 2006»
15 years 6 months ago
Quick Data-Retrieving for U-APSD in IEEE802.11e WLAN Networks
The IEEE802.11e defines a MAC protocol, which provides EDCA (enhanced distributed channel access) and HCCA (HCF controlled channel access) to support differentiation service over W...
Shojiro Takeuchi, Kaoru Sezaki, Yasuhiko Yasuda
IANDC
2007
151views more  IANDC 2007»
15 years 6 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
JAT
2007
83views more  JAT 2007»
15 years 6 months ago
Characterization and perturbation of Gabor frame sequences with rational parameters
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...
Marcin Bownik, Ole Christensen
TNN
2008
132views more  TNN 2008»
15 years 6 months ago
Just-in-Time Adaptive Classifiers - Part I: Detecting Nonstationary Changes
Abstract--The stationarity requirement for the process generating the data is a common assumption in classifiers' design. When such hypothesis does not hold, e.g., in applicat...
Cesare Alippi, Manuel Roveri