4285 search results - page 523 / 857 » Differential Behavioral Analysis |
159
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
175
click to vote
ICRA
2003
IEEE
16 years 17 hour ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
164
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...
171
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...
171
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...