Sciweavers

6474 search results - page 267 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ICAS
2005
IEEE
134views Robotics» more  ICAS 2005»
16 years 7 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
IS
2007
15 years 6 months ago
The leganet system: Freshness-aware transaction routing in a database cluster
We consider the use of a database cluster for Application Service Provider (ASP). In the ASP context, applications and databases can be update-intensive and must remain autonomous....
Stéphane Gançarski, Hubert Naacke, E...
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...
ATAL
2005
Springer
16 years 5 days ago
Comparative analysis of top-down and bottom-up methodologies for multi-agent system design
Traditionally, top-down and bottom-up design approaches have competed with each other in Algorithmics and Software Engineering. In the top-down approach, design process starts wit...
Valentino Crespi, Aram Galstyan, Kristina Lerman
HICSS
2002
IEEE
123views Biometrics» more  HICSS 2002»
15 years 11 months ago
On the Performance of a Survivability Architecture for Networked Computing Systems
This research focuses on the performance and timing behavior of a two level survivability architecture. The lower level of the architecture involves attack analysis based on kernel...
William S. Harrison, Axel W. Krings, Nadine Hanebu...