王朝网络
分享
 
 
 

过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods

王朝导购·作者佚名
 
过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods  点此进入淘宝搜索页搜索
  特别声明:本站仅为商品信息简介,并不出售商品,您可点击文中链接进入淘宝网搜索页搜索该商品,有任何问题请与具体淘宝商家联系。
  参考价格: 点此进入淘宝搜索页搜索
  分类: 图书,进口原版书,科学与技术 Science & Techology ,

作者: Holger Hermanns 著

出 版 社: 湖南文艺出版社

出版时间: 2002-12-1字数:版次: 1页数: 214印刷时间: 2002/12/01开本:印次:纸张: 胶版纸I S B N : 9783540439134包装: 平装编辑推荐

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 Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

目录

Invited Contributions

Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Oils

Probability and Timing: Challenges for Secure Programming

Selected Papers

Security Analysis of a Probabilistic Non-repudiation Protocol

The Mean Value of the Maximum

Reduction and Refinement Strategies for Probabilistic Analysis

Action Refinement for Probabilistic Processes with True Concurrency Models

Probabilistic Unfoldings and Partial Order Fairness in Petri Nets

Possibilistic and Probabilistic Abstraction-Based Model Checking

Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling

Model Checking CSL until Formulae with Random Time Bounds

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol

Deriving Symbolic Representations from Stochastic Process Algebras

Short Abstracts

A Generalization of Equational Proof Theory?

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Probabilistic Abstract Interpretation and Statistical Testing

Approximate Verification of Probabilistic Systems

Author Index

 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
>>返回首页<<
推荐阅读
 
 
频道精选
 
更多商品
中文口语处理Chinese spoken language processing
WEBKDD 2001—通过全部客户触点开采网站纪录数据/会议录  WEBKDD 2001
Euro-Par 2006 欧洲并行处理会议/Euro-Par 2006 parallel processing
经济学3人谈
保护隐私技术设计:国际研讨会Designing privacy enhancing technologies
数据语义学期刊 VII LNCS-4244: Journal on data semantics VII
汇聚网络与服务的管理: APNOMS 2006/会议录Management of convergence networks and services
贫穷的终结:我们时代的经济可能
Web 智能Web intelligence(Web智能:研究与发展)
移动多媒体业务的自主管理: MMNS 2006/会议录(书与在线文件)Autonomic management of mobile multimedia services
静静地坐在废墟上,四周的荒凉一望无际,忽然觉得,凄凉也很美
© 2005- 王朝网络 版权所有