3375 search results - page 115 / 675 » Resource Sharing in Performance Models |
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
The enhanced pay-per-view (EPPV) model for providing continuous-media-on-demand(CMOD) services associates with each continuous media clip a display frequency that dependson the cl...
HVC
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
ECIS
2004
13 years 10 months ago
2004
In the late 1990's researchers believed that B2B markets were set to revolutionise e-procurement. New marketplaces were being created on an almost weekly basis to cater for t...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
NAR
2011
12 years 12 months ago
2011
The predicted Arabidopsis interactome resource (PAIR, http://www.cls.zju.edu.cn/pair/), comprised of 5990 experimentally reported molecular interactions in Arabidopsis thaliana to...