Sciweavers

1784 search results - page 241 / 357
» A Service Model for Component-Based Development
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 3 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
OTM
2005
Springer
14 years 2 months ago
Shelter from the Storm: Building a Safe Archive in a Hostile World
Abstract. The storing of data and configuration files related to scientific experiments is vital if those experiments are to remain reproducible, or if the data is to be shared ...
Jon MacLaren, Gabrielle Allen, Chirag Dekate, Dayo...
BIRTHDAY
2003
Springer
14 years 2 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
INFOCOM
2002
IEEE
14 years 2 months ago
Inference and Labeling of Metric-Induced Network Topologies
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...
Azer Bestavros, John W. Byers, Khaled Harfoush
INFOCOM
2002
IEEE
14 years 2 months ago
Analysis of Combined Adaptive Bandwidth Allocation and Admission Control in Wireless Networks
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
Chun-Ting Chou, Kang G. Shin