2661 search results - page 459 / 533 » Model Checking Performability Properties |
HPCC
2005
Springer
14 years 3 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—We report that human walks performed in outdoor settings of tens of kilometers resemble a truncated form of Levy walks commonly observed in animals such as monkeys, birds and ja...
SIGCOMM
2004
ACM
14 years 3 months ago
2004
ACM
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
CLEF
2009
Springer
13 years 11 months ago
2009
Springer
In this study, we describe our system at the Intellectual Property track of the 2009 CrossLanguage Evaluation Forum campaign (CLEF-IP). The CLEF-IP track addressed prior art searc...
TASLP
2008
13 years 10 months ago
2008
In this paper, we investigate the noise robustness of Wang and Shamma's early auditory (EA) model for the calculation of an auditory spectrum in audio classification applicati...