Sciweavers

3688 search results - page 251 / 738
» Static analysis of aspects
Sort
View
DCOSS
2005
Springer
16 years 6 days ago
Analysis of Target Detection Performance for Wireless Sensor Networks
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
Qing Cao, Ting Yan, John A. Stankovic, Tarek F. Ab...
DRM
2005
Springer
16 years 6 days ago
Statistical audio watermarking algorithm based on perceptual analysis
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...
Xiaomei Quan, Hongbin Zhang
CSFW
2002
IEEE
15 years 11 months ago
A Formal Analysis of Some Properties of Kerberos 5 Using MSR
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
Frederick Butler, Iliano Cervesato, Aaron D. Jagga...
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
15 years 11 months ago
Perception Errors in Vision Guided Walking: Analysis, Modeling, and Filtering
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
Oliver Lorch, Javier F. Seara, Klaus H. Strobl, Uw...
159
Voted
KES
2009
Springer
15 years 11 months ago
Virtual Communities of Practice's Purpose Evolution Analysis Using a Concept-Based Mining Approach
Today, social networks systems have become more and more important. People have change their way to relate and communicate. Therefore, how to enhance contents and organization of a...
Sebastián A. Ríos, Felipe Aguilera, ...