Titlebook: Communication-Based Systems; Proceeding of the 3r Günter Hommel Conference proceedings 2000 Springer Science+Business Media Dordrecht 2000

保守

Lumbar-Spine

Multiphase Consensus Communication in Collaborative Problem Solving whole reconfiguration approach itself mainly applicable for rather closed systems, e. g. information or control systems. The protocol claims to enhance the efficiency of consensus finding by using several different phases of negotiation.

后退

放棄

Automatic Distribution in Pangaeay, but also automatically. An important benefit of using static source code analysis for automatic distribution is that it can detect optimizations which would be impossible for a purely run-time based approach.

HAVOC

Datenorientierter Programmentwurf,iorating a single point of failure of Calypso. Experiments show that checkpointing is a suitable tool to achieve high responsiveness and that already a very modest degree of replication is sufficient for improved responsiveness.

Introvert

充足

Probleme beim Aufbau von Faktendatenbankenmitted MSC2000 standard is used to specify temporal behaviour. A technique to map such MSC specifications to stochastic Petri nets is presented and some problems of this approach are outlined. With this mapping existing tools can be used to derive temporal properties of the MSC specification.

STANT

Datenorientierter Programmentwurf,hand the relationship between Algebraic High Level Nets and a restricted class of Algebraic Higher Order Nets given by folding and unfolding and on the other hand the concept of run time modification, which allows to modify existing models of flexible business processes in a formal way.

承認

CURT

Manfred Koch,Harald Reiterer,A Min Tjoa paper presents a model for domain-independent planning based on an extension of constraint programming. The extension makes it possible to explore the search space without the need to focus on plan length, and to favor other criteria like resource-related properties.