Sciweavers

2644 search results - page 233 / 529
» Autonomic nervous system
Sort
View
TON
2008
88views more  TON 2008»
15 years 6 months ago
Traffic modeling and proportional partial caching for peer-to-peer systems
Peer-to-peer (P2P) file sharing systems generate a major portion of the Internet traffic, and this portion is expected to increase in the future. We explore the potential of deploy...
Mohamed Hefeeda, Osama Saleh
SEMWEB
2009
Springer
16 years 1 months ago
Conjunctive Query Answering in Distributed Ontology Systems for Ontologies with Large OWL ABoxes
We present a query processing procedure for conjunctive queries in distributed ontology systems where a large ontology is divided into ontology fragments that are later distributed...
Xueying Chen, Michel Dumontier
ICAS
2005
IEEE
134views Robotics» more  ICAS 2005»
16 years 8 days ago
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha
PRDC
2002
IEEE
15 years 11 months ago
A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent
In this paper, we present a consensus algorithm for synchronous distributed systems using cooperating mobile agents. The algorithm is designed within a framework for mobile agent ...
Jiannong Cao, Xianbing Wang, Siu Lo, Sajal K. Das
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...