FM
1997
Springer
13 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
SIGADA
1998
Springer
13 years 8 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
ICDCS
1997
IEEE
13 years 8 months ago
1997
IEEE
Load balancing is often used to ensure that nodes in a distributed systems are equally loaded. In this paper, we show that for real-time systems, load balancing is not desirable. ...
IFIP
1998
Springer
13 years 8 months ago
1998
Springer
Java is the newest in a long line of systems programming languages. This paper looks at what makes it special and backs the findings up with three case studies. The projects exerc...
ICSE
1998
IEEE-ACM
13 years 8 months ago
1998
IEEE-ACM
The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style tha...
ECOOP
1998
Springer
13 years 8 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
SAC
1998
ACM
13 years 8 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
IPPS
1998
IEEE
13 years 8 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
MA
1999
Springer
13 years 8 months ago
1999
Springer
Hive is a distributed agents platform, a decentralized system for building applications by networking local system resources. This paper presents the architecture of Hive, concent...
HPDC
1998
IEEE
13 years 8 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...