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

CT951

书目名称Communication-Based Systems影响因子(影响力)




书目名称Communication-Based Systems影响因子(影响力)学科排名




书目名称Communication-Based Systems网络公开度




书目名称Communication-Based Systems网络公开度学科排名




书目名称Communication-Based Systems被引频次




书目名称Communication-Based Systems被引频次学科排名




书目名称Communication-Based Systems年度引用




书目名称Communication-Based Systems年度引用学科排名




书目名称Communication-Based Systems读者反馈




书目名称Communication-Based Systems读者反馈学科排名

没有希望

https://doi.org/10.1007/978-3-7091-9165-1veral techniques, including transitive delegation, cryptographic file systems, capacity sandboxing, reverse sandboxing, and fine-grained access control. These techniques facilitate scalable authentication and revocable authorization of agent computations even when they span resources of different or

hankering

Specifying, Analyzing and Programming Communication Systems in Maude into subsets of the logic that are efficiently implementable as distributed or mobile languages. The paper summarizes the practical experience obtained so far by a number of authors in using the reflective rewriting logic language Maude to specify and analyze communication systems, and gives a brie

subordinate

Efficient and Secure Information Sharing in Distributed, Collaborative Environmentsveral techniques, including transitive delegation, cryptographic file systems, capacity sandboxing, reverse sandboxing, and fine-grained access control. These techniques facilitate scalable authentication and revocable authorization of agent computations even when they span resources of different or

WAX

DENT

DENT

Postulate

喊叫

衰老

Compositional Specification of Distributed Systems by Distributed Graph Transformationtwork. Compared with central systems, distributed systems are more economical, faster, more suitable for distributed applications and easy extensible. On the other hand, to develop distributed systems and to ensure their quality and correctness, is more challengeable. I introduce distributed graph t