Search Sciweavers | Sciweavers

9316 search results - page 47 / 1864

» Analysis of traceback techniques

click to vote

CSFW
2010
IEEE

187views Security Privacy» more CSFW 2010»

Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques

15 years 1 months ago

Download www.cs.pitt.edu

—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...

Adam J. Lee, Ting Yu

claim paper

Read More »

click to vote

HYBRID
2000
Springer

105views Control Systems» more HYBRID 2000»

Ellipsoidal Techniques for Reachability Analysis

15 years 1 months ago

Download paleale.eecs.berkeley.edu

For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...

Alexander B. Kurzhanski, Pravin Varaiya

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

110views VHDL» more EURODAC 1994»

An experimental analysis of the effectiveness of the circular self-test path technique

15 years 1 months ago

Download www.cad.polito.it

Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda

claim paper

Read More »