Titlebook: Informatik; Johann Blieberger,Gerhard-Helge Schildt,Stefan Stö Textbook 19901st edition Springer-Verlag Wien 1990 Betriebssystem.Betriebss

外露

Johann Blieberger,Gerhard-Helge Schildt,Ulrich Schmid,Stefan Stöckler add the particular details of concern when necessary. Systems described in this way have an explicit and exposed skeleton which, being shared, helps to maintain consistency between the various elaborated views. To illustrate our approach, we use the Darwin architectural description language and the

Maximize

Johann Blieberger,Gerhard-Helge Schildt,Ulrich Schmid,Stefan Stöcklern this respect, we propose to use both local consistency techniques, to remove the possible redundancies in a system state, and a distributed backtracking search algorithm, as used in distributed constraint solving. Our method has two main advantages: first, it is completely formal and thus provides