网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 教育/科技 > 科学与研究 > 商品详情

Coordination Models and Languages 协同模型与语言/会议录

分享到:
Coordination Models and Languages 协同模型与语言/会议录

最 低 价:¥488.20

定 价:¥542.40

作 者:Jean-MarieJacquet 著

出 版 社:北京燕山出版社

出版时间:2005-3-1

I S B N:9783540256304

商品详情

编辑推荐

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)

内容简介

This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005.
The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abst verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.

作者简介

目录

A Case Study of Web Services Orchestration
A Correct Abstract Machine for Safe Ambients
A Process Calculus for QoS-Aware Applications
Abstract Interpretation-Based Verification of Non-functional Requirements
Coordination Systems in Role-Based Adaptive Software
Coordination with Multicapabilities
Delegation Modeling with Paradigm
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
Enforcing Distributed Information Flow Policies Architecturally The SAID Approach
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision
Global Computing in a Dynamic Network of Tuple Spaces
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems
Preserving Architectural Properties in Multithreaded Code Generation
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages
Synchronized Hyperedge Replacement for Heterogeneous Systems
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Tagged Sets: A Secure and Transparent Coordination Medium
Time-Aware Coordination in ReSpecT
Transactional Aspects in Semantic Based Discovery of Services
Author Index

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...