Sciweavers

1415 search results - page 159 / 283
» Verified systems by composition from verified components
Sort
View
ICNP
2006
IEEE
16 years 11 days ago
DPTree: A Balanced Tree Based Indexing Framework for Peer-to-Peer Systems
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
Mei Li, Wang-Chien Lee, Anand Sivasubramaniam
JSS
2006
153views more  JSS 2006»
15 years 6 months ago
Towards the automatic generation of mobile agents for distributed intrusion detection system
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Gu...
JDCTA
2010
150views more  JDCTA 2010»
15 years 1 months ago
A Knowledge Recommend System Based on User Model
The content and searching method of knowledge base are lack of the consideration of user requirements, it is difficult for the user to select the knowledge satisfy with the user r...
Jiagen Sheng, Sifeng Liu
ISCAS
2008
IEEE
118views Hardware» more  ISCAS 2008»
16 years 22 days ago
Low-power IC design for a wireless BCI system
—Integrated circuit (IC) design for a wireless BCI system is put forward in this paper. The system is composed of an electrode, a stimulator, antennas, and an integrated circuit ...
Ming Liu, Hong Chen, Run Chen, Zhihua Wang
VTC
2008
IEEE
127views Communications» more  VTC 2008»
16 years 21 days ago
Convergence Analysis of Iteratively Detected Time Hopping and DS-CDMA Ultrawide Bandwidth Systems by EXIT Charts
— This paper presents a novel analysis on the decoding convergence of Time Hopping (TH) and Direct Sequence (DS) Code-Division Multiple-Access (CDMA) Ultrawide Bandwidth (UWB) sy...
Raja Ali Riaz, Mohammed El-Hajjar, Qasim Zeeshan A...