Sciweavers

3337 search results - page 461 / 668
» interactions 2006
Sort
View
IJCSA
2006
95views more  IJCSA 2006»
13 years 9 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
IJMMS
2006
115views more  IJMMS 2006»
13 years 9 months ago
Weblog success: Exploring the role of technology
Weblogs have recently gained considerable media attention. Leading weblog sites are already attracting millions of visitors. Yet, success in the highly competitive world of weblog...
Helen S. Du, Christian Wagner
IJNSEC
2006
89views more  IJNSEC 2006»
13 years 9 months ago
Mitigation of Insider Risks using Distributed Agent Detection, Filtering, and Signaling
An insider-robust approach to file integrity verification is developed using interacting strata of mobile agents. Previous approaches relied upon monolithic architectures, or more...
Adam J. Rocke, Ronald F. DeMara
IJON
2006
71views more  IJON 2006»
13 years 9 months ago
A neurocomputational model of stochastic resonance and aging
Stochastic resonance (SR) is fundamental to physical and biological processes. Here, we use a stochastic gain-tuning model to investigate interactions between aging-related increa...
Shu-Chen Li, Timo von Oertzen, Ulman Lindenberger
IJVR
2006
97views more  IJVR 2006»
13 years 9 months ago
Human-Scale Virtual Environment for Product Design: Effect of Sensory Substitution
-- This paper presents a human-scale virtual environment (VE) with haptic feedback along with two experiments performed in the context of product design. The user interacts with a ...
Paul Richard, Damien Chamaret, François-Xav...