Sciweavers

2836 search results - page 484 / 568
» Evaluating a Qualitative Reasoner
Sort
View
TISSEC
2008
202views more  TISSEC 2008»
15 years 6 months ago
A Framework for Identifying Compromised Nodes in Wireless Sensor Networks
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
Qing Zhang, Ting Yu, Peng Ning
TKDE
2008
146views more  TKDE 2008»
15 years 6 months ago
Toward Managing Uncertain Spatial Information for Situational Awareness Applications
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
Yiming Ma, Dmitri V. Kalashnikov, Sharad Mehrotra
TPDS
2008
103views more  TPDS 2008»
15 years 6 months ago
Reducing Queue Oscillation at a Congested Link
Queue length oscillation at a congested link causes many undesirable properties such as large delay jitter, underutilization of the link and packet drops in burst. The main reason ...
Jong-Hwan Kim, Ikjun Yeom
TSE
2008
99views more  TSE 2008»
15 years 6 months ago
Modular Information Hiding and Type-Safe Linking for C
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
Saurabh Srivastava, Michael Hicks, Jeffrey S. Fost...
AI
2004
Springer
15 years 6 months ago
Hierarchical model-based diagnosis based on structural abstraction
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
Luca Chittaro, Roberto Ranon