Sciweavers

29172 search results - page 360 / 5835
» Modeling Systems in CLP
Sort
View
198
Voted
RTAS
2005
IEEE
16 years 1 months ago
Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems
Arvind S. Krishna, Emre Turkay, Aniruddha S. Gokha...
205
Voted
IPPS
2002
IEEE
16 years 13 days ago
A Game-Theoretic Model and Algorithm for Load Balancing in Distributed Systems
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
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 11 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
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
JLP
2006
126views more  JLP 2006»
15 years 7 months ago
Compositional modeling and refinement for hierarchical hybrid systems
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
JSS
2006
88views more  JSS 2006»
15 years 7 months ago
A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability
The dependability of a system is contextually subjective and reflects the particular stakeholder
Paolo Donzelli, Victor R. Basili