Sciweavers

6846 search results - page 680 / 1370
» Developing an Active Observer
Sort
View
DCOSS
2007
Springer
15 years 11 months ago
Efficient and Distributed Access Control for Sensor Networks
Sensor networks are often used to sense the physical world and provide observations for various uses. In hostile environments, it is critical to control the network access to ensur...
Donggang Liu
AGILEDC
2004
IEEE
15 years 11 months ago
Direct Verbal Communication as a Catalyst of Agile Knowledge Sharing
This paper discusses the role of conversation and social interactions as the key element of effective knowledge sharing in an agile process. It also presents the observations made...
Grigori Melnik, Frank Maurer
FSKD
2006
Springer
106views Fuzzy Logic» more  FSKD 2006»
15 years 11 months ago
Fuzzy Optimization for Security Sensors Deployment in Collaborative Intrusion Detection System
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...
Chengchen Hu, Zhen Liu, Zhen Chen, Bin Liu
ICDCSW
2000
IEEE
15 years 11 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
AMAST
1995
Springer
15 years 11 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki