8587 search results - page 1351 / 1718 » Interactive dynamic abstraction |
145
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
135
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
Abstract—We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs predic...
128
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
Abstract—Existing solutions for building wireless mesh networks suffer from reduced efficiency. This is due to lack of reliable self-configuration procedures that can dynamical...
126
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
126
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....