发布求助
文献互助 智能选刊 最新文献

1993 International Conference on Network Protocols最新文献

筛选
英文 中文
A framework for interoperability testing of network protocols 用于网络协议互操作性测试的框架
1993 International Conference on Network Protocols Pub Date : 1993-04-01 DOI: 10.1109/ICNP.1993.340889
Jadranka Alilovic-Curgus, S. Vuong
{"title":"A framework for interoperability testing of network protocols","authors":"Jadranka Alilovic-Curgus, S. Vuong","doi":"10.1109/ICNP.1993.340889","DOIUrl":"https://doi.org/10.1109/ICNP.1993.340889","url":null,"abstract":"The authors extend the testing theory based on formal specifications by formalizing testing for interoperability with a new relation, intop. Intuitively, P intop Q if, for every event offered by either P or Q, the concurrent execution of P and Q will be able to proceed with the traces in S, where S is their (common) specification. This theory is applicable to formal description methods that allow a semantic interpretation of specifications in terms of labeled transition systems. Some existing notions of implementation relations in protocol testing theory are placed in this framework and their discriminating power for identifying processes which will interoperate is examined. As an example, a subset of the ST-II protocol is formally specified and its possible implementations are shown to interoperate if each implementation satisfies the intop relation with respect to S, the specification of the ST-II protocol (subset).<<ETX>>","PeriodicalId":439161,"journal":{"name":"1993 International Conference on Network Protocols","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127372406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Modulo-N incarnation numbers for cache-based transport protocols 基于缓存的传输协议的Modulo-N化身数
1993 International Conference on Network Protocols Pub Date : 1993-03-01 DOI: 10.1109/ICNP.1993.340903
A. Shankar, David Lee
{"title":"Modulo-N incarnation numbers for cache-based transport protocols","authors":"A. Shankar, David Lee","doi":"10.1109/ICNP.1993.340903","DOIUrl":"https://doi.org/10.1109/ICNP.1993.340903","url":null,"abstract":"To provide reliable connection management, a transport protocol uses 3-way handshakes in which user incarnations are identified by bounded incarnation numbers from some modulo-N space. Recently, several caching schemes have been proposed to reduce the 3-way handshake to a 2-way handshake. The authors define a class of caching protocols and determine the minimum value of N needed as a function of real-time constraints (e.g., message lifetime, incarnation creation rate, inactivity duration, cache residency times, etc.). The protocols use the client-server architecture and handle failures and recoveries. Both clients and servers generate incarnation numbers from a local counter (e.g., a clock). These protocols assume a maximum duration for each incarnation; without this assumption, there is a very small probability of misinterpretation of incarnation numbers. This restriction can be overcome with some additional caching.<<ETX>>","PeriodicalId":439161,"journal":{"name":"1993 International Conference on Network Protocols","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129442214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书