Search Sciweavers | Sciweavers

In this paper we present a game theoretic framework for obtaining a user-optimal load balancing scheme in heterogeneous distributed systems. We formulate the static load balancing...

Daniel Grosu, Anthony T. Chronopoulos

claim paper

Read More »

172

click to vote

HICSS
1995
IEEE

101views Biometrics» more HICSS 1995»

Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment

15 years 10 months ago

Download www.swe.uni-linz.ac.at

To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...

Rainer Weinreich, Reinhold Plösch

claim paper

Read More »

169

click to vote

JLP
2006

126views more JLP 2006»

Compositional modeling and refinement for hierarchical hybrid systems

15 years 6 months ago

Download www.cs.sunysb.edu

In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky

claim paper

Read More »

196

click to vote

JSS
2006

88views more JSS 2006»

A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability

15 years 6 months ago

Download www.cs.umd.edu

The dependability of a system is contextually subjective and reflects the particular stakeholder

Paolo Donzelli, Victor R. Basili