Sciweavers

7536 search results - page 422 / 1508
» Localized Components Analysis
Sort
View
222
Voted
APN
2008
Springer
15 years 8 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
BMVC
1998
15 years 8 months ago
Corner Detection Via Topographic Analysis of Vector Potential
This paper describes how corner detection can be realised using a new feature representation that has recently been successfully exploited for edge and symmetry detection. The fea...
Bin Luo, Andrew D. J. Cross, Edwin R. Hancock
ENTCS
2007
145views more  ENTCS 2007»
15 years 6 months ago
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
Ioannis Chatzigiannakis, Elisavet Konstantinou, Va...
CORR
2007
Springer
172views Education» more  CORR 2007»
15 years 6 months ago
Analysis of the 802.11e Enhanced Distributed Channel Access Function
The IEEE 802.11e standard revises the Medium Access Control (MAC) layer of the former IEEE 802.11 standard for Quality-of-Service (QoS) provision in the Wireless Local Area Networ...
Inanc Inan, Feyza Keceli, Ender Ayanoglu
ASPDAC
2010
ACM
211views Hardware» more  ASPDAC 2010»
15 years 4 months ago
A fast analog mismatch analysis by an incremental and stochastic trajectory piecewise linear macromodel
To cope with an increasing complexity when analyzing analog mismatch in sub-90nm designs, this paper presents a fast non-MonteCarlo method to calculate mismatch in time domain. Th...
Hao Yu, Xuexin Liu, Hai Wang, Sheldon X.-D. Tan