79 search results - page 13 / 16 » Modelling and Validation of Response Times in Zoned RAID |
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
WSC
2004
15 years 1 months ago
2004
Ancillary departments, which include radiology services, are among the important factors that affect the efficiency of patient care in a hospital. This paper presents results from...
120
click to vote
JPDC
2007
14 years 11 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
127
Voted
MOBIQUITOUS
2007
IEEE
15 years 5 months ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...