Sciweavers

1024 search results - page 58 / 205
» Graph Based Modeling of P2P Streaming Systems
Sort
View
NSDI
2004
13 years 10 months ago
Contract-Based Load Management in Federated Distributed Systems
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
Magdalena Balazinska, Hari Balakrishnan, Michael S...
TAGT
1998
Springer
156views Graph Theory» more  TAGT 1998»
14 years 1 months ago
Graph-Based Models for Managing Development Processes, Resources, and Products
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
Carl-Arndt Krapp, Sven Krüppel, Ansgar Schlei...
SSD
2007
Springer
107views Database» more  SSD 2007»
14 years 2 months ago
Spatial Partition Graphs: A Graph Theoretic Model of Maps
The notion of a map is a fundamental metaphor in spatial disciplines. However, there currently exist no adequate data models for maps that define a precise spatial data type for m...
Mark McKenney, Markus Schneider
APN
2008
Springer
13 years 10 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
WMCSA
2002
IEEE
14 years 1 months ago
Context Aggregation and Dissemination in Ubiquitous Computing Systems
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...
Guanling Chen, David Kotz