Sciweavers

1159 search results - page 181 / 232
» Binary Decision Graphs
Sort
View
CCS
2005
ACM
14 years 3 months ago
Control-flow integrity
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
Martín Abadi, Mihai Budiu, Úlfar Erl...
ICCSA
2005
Springer
14 years 3 months ago
A Novel Hierarchical Routing Protocol for Wireless Sensor Networks
Abstract. In this paper, we propose a novel hierarchical routing protocol for a large wireless sensor network (WSN) wherein sensors are arranged into a multi-layer architecture wit...
Trong Thua Huynh, Choong Seon Hong
BSN
2009
IEEE
106views Sensor Networks» more  BSN 2009»
14 years 3 months ago
Transitional Activity Recognition with Manifold Embedding
— Activity monitoring is an important part of pervasive sensing, particularly for assessing activities of daily living for elderly patients and those with chronic diseases. Previ...
Raza Ali, Louis Atallah, Benny P. L. Lo, Guang-Zho...
CP
2000
Springer
14 years 2 months ago
Boosting Search with Variable Elimination
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
Javier Larrosa
ER
1999
Springer
108views Database» more  ER 1999»
14 years 2 months ago
Modeling Cyclic Change
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...
Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hay...