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

果核

搜集

使閉塞

Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding andhand 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.

lactic

Tidious

AI Planning in a Constraint Programming Framework 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.

Keratin

Atomic Broadcast In A Byzantine Modelt protocol in an asynchronous distributed system where processes can exhibit malicious failures (i.e., processes are Byzantine). We point out the impact of those kind of failures on the modularity of the protocol.

Granular

分開如此和諧

加花粗鄙人

Overview: 978-90-481-5399-2978-94-015-9608-4

畫布