4255 search results - page 430 / 851 » Cover |
294
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
195
click to vote
FTDB
2011
14 years 10 months ago
2011
We present a survey of the various families of approaches to secure aggregation in distributed networks such as sensor networks. In our survey, we focus on the important algorithm...
222
click to vote
HCI
2011
14 years 10 months ago
2011
Abstract. The effectiveness of animation in visualization is an interesting research topic that led to contradicting results in the past. On top of that, we are facing three addit...
236
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
This paper proposes to use video sensor nodes to provide an efficient intrusion detection system. We use a scheduling mechanism that takes into account the criticality of the surve...
218
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...