Sciweavers

4809 search results - page 267 / 962
» Scalable Analysis of Scalable Systems
Sort
View
CN
2006
106views more  CN 2006»
15 years 7 months ago
Efficient large-scale BGP simulations
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
Xenofontas A. Dimitropoulos, George F. Riley
OOPSLA
2005
Springer
16 years 22 days ago
CodeQuest: querying source code with datalog
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor, Kri...
ISORC
2008
IEEE
16 years 1 months ago
Push-Pull Interest Management for Virtual Worlds
Several approaches for scalable interest management (IM) within real-time distributed virtual environments (DVEs) have been proposed based upon some division of the data-space in ...
Rob Minson, Georgios K. Theodoropoulos
SEMWEB
2010
Springer
15 years 5 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
ICDCS
2008
IEEE
16 years 1 months ago
Resource Bundles: Using Aggregation for Statistical Wide-Area Resource Discovery and Allocation
Resource discovery is an important process for finding suitable nodes that satisfy application requirements in large loosely-coupled distributed systems. Besides inter-node heter...
Michael Cardosa, Abhishek Chandra