1833 search results - page 353 / 367 » Mechanized Verification with Sharing |
154
click to vote
NSDI
2010
15 years 5 months ago
2010
: As cloud services grow to span more and more globally distributed datacenters, there is an increasingly urgent need for automated mechanisms to place application data across thes...
125
click to vote
IFIP8
2007
15 years 5 months ago
2007
A grid virtual enterprise is a community of independent enterprises concerned with a particular sector of the economy. Its members (nodes) are small or medium size enterprises (SME...
168
click to vote
DGO
2003
15 years 5 months ago
2003
Semantic heterogeneity of information is a major barrier of information and system interoperability. Defining ontology of data and mapping ontologies among heterogeneous informati...
129
Voted
AAAI
1990
15 years 5 months ago
1990
Knowledge processing is very demanding on computer architectures. Knowledge processing generates subcomputation paths at an exponential rate. It is memory intensive and has high c...
144
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
The behavior of routing protocols during convergence is critical as it impacts end-to-end performance. Network convergence is particularly important in BGP, the current interdomai...