Sciweavers

11436 search results - page 1840 / 2288
» Modeling Real Reasoning
Sort
View
INFOCOM
2007
IEEE
16 years 20 days ago
SPREAD: Foiling Smart Jammers Using Multi-Layer Agility
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
Xin Liu, Guevara Noubir, Ravi Sundaram, San Tan
LICS
2007
IEEE
16 years 19 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
ROMAN
2007
IEEE
179views Robotics» more  ROMAN 2007»
16 years 19 days ago
A Bayesian Network Framework for Vision Based Semantic Scene Understanding
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
Seung-Bin Im, Keum-Sung Hwang, Sung-Bae Clio
157
Voted
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
16 years 19 days ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...
VTC
2007
IEEE
16 years 18 days ago
Energy-Optimized Low-Complexity Control of Power and Rate in Clustered CDMA Sensor Networks with Multirate Constraints
—In this paper, we propose a low-complexity scheme for minimizing energy consumption in a clustered multirate CDMA sensor network with multiple receive antennas by jointly contro...
Chun-Hung Liu
« Prev « First page 1840 / 2288 Last » Next »