2042 search results - page 344 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
QUESTA
2010
13 years 7 months ago
2010
The M/G/K queueing system is one of the oldest model for multi-server systems, and has been the topic of performance papers for almost half a century. However, even now, only coar...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
Cardiac magnetic resonance imaging (MRI) has demonstrated to be the most accurate and reproducible tool for assessment of the cardiovascular system.Traditional quantification meth...
WACV
2007
IEEE
14 years 3 months ago
2007
IEEE
Dynamic wettability of a nanostructured surface is an important property for many liquid-related applications of nanostructures. The dynamic wettability analysis is performed by m...
ICPPW
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we present a technique for reducing response delay for web systems, which is based on a proactive cache scheme. It combines predictive pre-fetching and streaming to ...