Sciweavers

13397 search results - page 249 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
COMPSAC
2002
IEEE
15 years 8 months ago
Using RAIC for Dependable On-line Upgrading of Distributed Systems
Redundant Arrays of Independent Components (RAIC) is a technology that uses groups of similar or identical distributed components to provide dependable services [1,2,3]. RAIC allo...
Chang Liu, Debra J. Richardson
ICMCS
1999
IEEE
158views Multimedia» more  ICMCS 1999»
15 years 8 months ago
DVS: A System for Distribution and Management of Global Video on Demand Services
The Distributed Video Server (DVS) system provides a comprehensive solution for the management and distribution of a major future electronic commodity service, Video on Demand (VO...
Alexey Roytman, Israel Ben-Shaul, Israel Cidon
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 8 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
153
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems
Systems based on Service-Oriented Architecture are called service-based systems (SBS), and comprise of computing services offered by various organizations. Users of SBS often requ...
Stephen S. Yau, Dazhi Huang, Luping Zhu
141
Voted
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
15 years 10 months ago
Dealing with Overload in Distributed Stream Processing Systems
Overload management has been an important problem for large-scale dynamic systems. In this paper, we study this problem in the context of our Borealis distributed stream processin...
Nesime Tatbul, Stanley B. Zdonik