Sciweavers

802 search results - page 19 / 161
» Customer-oriented Development of Complex Distributed Systems
Sort
View
CSL
2010
Springer
13 years 8 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
USM
2000
13 years 11 months ago
Integrating Trading and Load Balancing for Efficient Management of Services in Distributed Systems
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...
Dirk Thißen, Helmut Neukirchen
SRDS
1993
IEEE
13 years 11 months ago
Bayesian Analysis for Fault Location in Homogeneous Distributed Systems
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing L...
POPL
2000
ACM
13 years 12 months ago
Type Systems for Distributed Data Structures
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
Ben Liblit, Alexander Aiken
ESM
2000
13 years 9 months ago
Multi-agent architecture for distributed simulation: Teaching application for industrial management
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...
Stéphane Galland, Frédéric Gr...