3658 search results - page 245 / 732 » Founding properties on measurement |
167
click to vote
NSDI
2007
15 years 9 months ago
2007
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
172
click to vote
MCS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Functional magnetic resonance imaging (fMRI) is a noninvasive and powerful method for analysis of the operational mechanisms of the brain. fMRI classification poses a sev...
167
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper discusses key recovery and universal forgery attacks on several MAC algorithms based on universal hash functions. The attacks use a substantial number of verif...
193
click to vote
COOP
2004
15 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
156
click to vote
IWFM
2003
15 years 8 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...