656 search results - page 60 / 132 » Symbolic computing of nonlinear observable and observer form... |
150
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Interference among co-channel users is a fundamental problem in wireless networks, which prevents nearby links from operating concurrently. Directional antennas allow the...
156
click to vote
ICTCS
2007
Springer
16 years 9 days ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
160
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
179
click to vote
ACCV
2010
Springer
15 years 8 months ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...
168
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
We describe LiveNet, a set of tools and analysis methods for reconstructing the complex behavior of a deployed sensor network. LiveNet is based on the use of multiple passive packe...