1063 search results - page 106 / 213 » Infrastructure Leasing Problems |
MIDDLEWARE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The trend towards cloud and utility computing infrastructures raises challenges not only for application development, but also for management: diverse resources, changing...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
To investigate the problem of entity recognition, we deal with the creation of the so-called Entity Name System (ENS) which is an open, public back-bone infrastructure for the (Sem...
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
— To support large-scale Internet-based broadcast of live streaming video efficiently in content delivery networks (CDNs), it is essential to implement a cost-effective overlay ...
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
Since the 9/11 terrorist attacks, the effective and efficient protection of critical information infrastructures has become an even more important issue. To enhance network surviv...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...