Sciweavers

4770 search results - page 283 / 954
» Flexible Type Analysis
Sort
View
ACIVS
2005
Springer
16 years 25 days ago
A Likelihood Ratio Test for Functional MRI Data Analysis to Account for Colored Noise
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
Jan Sijbers, Arnold Jan den Dekker, Robert Bos
SPC
2005
Springer
16 years 23 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
ASPDAC
2004
ACM
145views Hardware» more  ASPDAC 2004»
16 years 21 days ago
Hierarchical random-walk algorithms for power grid analysis
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
Haifeng Qian, Sachin S. Sapatnekar
INFOCOM
1997
IEEE
15 years 11 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester
ACSAC
2006
IEEE
15 years 11 months ago
Detecting Policy Violations through Traffic Analysis
Restrictions are commonly placed on the permitted uses of network protocols in the interests of security. These restrictions can sometimes be difficult to enforce. As an example, ...
Jeffrey Horton, Reihaneh Safavi-Naini