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

Computer Networks (1976)最新文献

筛选
英文 中文
IFIP WG6.4/University of Kent, International workshop on local area network ring technology IFIP WG6.4/肯特大学，局域网环技术国际研讨会
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90010-7
{"title":"IFIP WG6.4/University of Kent, International workshop on local area network ring technology","authors":"","doi":"10.1016/0376-5075(83)90010-7","DOIUrl":"https://doi.org/10.1016/0376-5075(83)90010-7","url":null,"abstract":"","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Page 60"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90010-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137223043","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}
引用次数: 0
IFIP WG6.5 workshop on international computer message services IFIP WG6.5国际计算机电文服务讲习班
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90008-9
Peter Schicker
{"title":"IFIP WG6.5 workshop on international computer message services","authors":"Peter Schicker","doi":"10.1016/0376-5075(83)90008-9","DOIUrl":"10.1016/0376-5075(83)90008-9","url":null,"abstract":"","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Pages 47-57"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90008-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"53791900","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}
引用次数: 0
Office information systems 办公信息系统
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90007-7
{"title":"Office information systems","authors":"","doi":"10.1016/0376-5075(83)90007-7","DOIUrl":"10.1016/0376-5075(83)90007-7","url":null,"abstract":"","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Pages 41-47"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90007-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"110952502","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}
引用次数: 48
Transport protocols: Their performance and status in international standardization (July 1982) 传输协议:在国际标准化中的表现和地位(1982年7月)
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90005-3
Peter von Studnitz
{"title":"Transport protocols: Their performance and status in international standardization (July 1982)","authors":"Peter von Studnitz","doi":"10.1016/0376-5075(83)90005-3","DOIUrl":"10.1016/0376-5075(83)90005-3","url":null,"abstract":"<div><p>This paper presents the agreements (by June 1982) which have been achieved on the international standardization level with respect to the Transport Layer. After defining the architectural environment of Transport Protocols, the functionality of the Transport Layer is described. This results in the identification of groups of Transport Layer functions and protocol classes. By this the specific performance of each protocol class is given. The quality of the service enhancement capability of each protocol class is emphasized. This paper does not present protocol details on formats and mechanisms. The actual status of the agreements between ISO, CCITT and ECMA and the short term expectations are given.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Pages 27-35"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90005-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89848609","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}
引用次数: 3
Packet switching in multiple radio channels: Analysis and stability of a random access system 多无线信道分组交换:随机接入系统的分析与稳定性
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90004-1
Wojciech Szpankowski
{"title":"Packet switching in multiple radio channels: Analysis and stability of a random access system","authors":"Wojciech Szpankowski","doi":"10.1016/0376-5075(83)90004-1","DOIUrl":"10.1016/0376-5075(83)90004-1","url":null,"abstract":"<div><p>Packet switching has found widespread application in computer communications. Packet radio is the application of packet switching techniques to radio channels. The paper considers packet switching in multiple radio channels with random access. First, a markovian model and an approximate model called “fluid approximation” are formulated and numerical results are presented. Then, the paper demonstrates and analyses an important aspect of the dynamic characteristics of packet radio, namely, the stability considerations. In addition, the stability region is determined.</p><p>To the author's knowledge previous studies have been limited to analysis of single radio channels. Besides, the considerations in previous papers have been concentrated only on demonstration if a system is stable or not, while in this paper additionally the stability region is calculated.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Pages 17-26"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90004-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73421651","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}
引用次数: 60
A new design criterion for store-and-forward networks 存储转发网络的新设计准则
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90003-X
Daniel Minoli
{"title":"A new design criterion for store-and-forward networks","authors":"Daniel Minoli","doi":"10.1016/0376-5075(83)90003-X","DOIUrl":"10.1016/0376-5075(83)90003-X","url":null,"abstract":"<div><p>Given the current network evolution path, the designer of a data, record, or stored-voice communications store-and-forward system, must generally piggy-back the latter onto an existing bona fide circuit-switched system. This implies relinquishing some ports on the circuit-switched machine to accomodate the store-and-forward system. These ports come at a premium and thus the intermachine link must be optimized in the number of trunks.</p><p>The normal design methodologies to obtain the number of trunks are reviewed; an improved approach based on the new concept of the “contrained average” is presented. The constrained average is a methematical construct which derives an appropriate equivalent traffic level <em>L</em>(<em>f</em>,<em>ϵ</em>), with L(<em>f</em>,<em>ϵ</em>) bounded below by the average of the traffic <em>f</em>(<em>t</em>) on an interval [<em>a</em>,<em>b</em>], and above by the maximum of <em>f</em>(<em>t</em>) in [<em>a</em>,<em>b</em>].</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Pages 9-15"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90003-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89539153","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
Third IFIP WG6.1 international workshop on protocol specification, testing and verification 第三届IFIP WG6.1协议规范、测试和验证国际研讨会
Computer Networks (1976) Pub Date : 1983-02-01 DOI: 10.1016/0376-5075(83)90009-0
{"title":"Third IFIP WG6.1 international workshop on protocol specification, testing and verification","authors":"","doi":"10.1016/0376-5075(83)90009-0","DOIUrl":"https://doi.org/10.1016/0376-5075(83)90009-0","url":null,"abstract":"","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"7 1","pages":"Page 59"},"PeriodicalIF":0.0,"publicationDate":"1983-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(83)90009-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137223042","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}
引用次数: 0
State architecture notation and simulation: A formal technique for the specification and testing of protocol systems 状态体系结构符号和模拟:协议系统规范和测试的形式化技术
Computer Networks (1976) Pub Date : 1982-12-01 DOI: 10.1016/0376-5075(82)90111-8
Thomas F Piatkowski, Lap-Kin Ip, Dayun He
{"title":"State architecture notation and simulation: A formal technique for the specification and testing of protocol systems","authors":"Thomas F Piatkowski,&nbsp;Lap-Kin Ip,&nbsp;Dayun He","doi":"10.1016/0376-5075(82)90111-8","DOIUrl":"10.1016/0376-5075(82)90111-8","url":null,"abstract":"<div><p>The increasing practical importance of data communications, computer networking and distributed data processing has increased the benefits to be gained from a systematic approach to the design, specification, validation, implementation and testing of these kind of systems.</p><p>This paper presents an introduction to the State Architecture approach to protocol system specification and also describes an important companion simulation tool.</p><p>State Architecture concepts and definitions are presented. Complex protocol systems are built up of interconnections of state-system primitives; specifically, combinational functions, finite-state machines, queues, clocks, delays and derivatives. Aspects of component state and input/output behavior are treated explicitly.</p><p>State Architecture Notation (SAN), a formal machine-readable language for specifying protocol systems, is outlined.</p><p>The State Architecture Simulator (SAS), a general purpose SAN model simulator is described and example SAS runs on a model of the ADCCP protocol (similar to HDLC and SDLC) are included.</p><p>A preliminary evaluation of the State Architecture approach is presented along with a brief comparison to other methods of formal specification.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"6 6","pages":"Pages 397-418"},"PeriodicalIF":0.0,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(82)90111-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82409342","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
Modeling and analysis of communication and cooperation protocols using petri net based models 基于Petri网模型的通信合作协议建模与分析
Computer Networks (1976) Pub Date : 1982-12-01 DOI: 10.1016/0376-5075(82)90112-X
Michel Diaz
{"title":"Modeling and analysis of communication and cooperation protocols using petri net based models","authors":"Michel Diaz","doi":"10.1016/0376-5075(82)90112-X","DOIUrl":"10.1016/0376-5075(82)90112-X","url":null,"abstract":"<div><p>Numerous modeling approaches exist to formally describe protocols such as: state machines, Petri nets, abstract data types, high level languages, temporal logic. This paper deals with one of them, Petri nets including related models. It presents the most important classes of nets, gives their analysis possibilities and shows how they can be used to model and analyze communication and cooperation protocols.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"6 6","pages":"Pages 419-441"},"PeriodicalIF":0.0,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(82)90112-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89174285","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}
引用次数: 182
Protocol specification, testing, and verification 协议规范，测试和验证-客座编辑
Computer Networks (1976) Pub Date : 1982-12-01 DOI: 10.1016/0376-5075(82)90108-8
Carl Sunshine
{"title":"Protocol specification, testing, and verification","authors":"Carl Sunshine","doi":"10.1016/0376-5075(82)90108-8","DOIUrl":"10.1016/0376-5075(82)90108-8","url":null,"abstract":"","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"6 6","pages":"Pages 375-376"},"PeriodicalIF":0.0,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(82)90108-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84287615","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}
引用次数: 229
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信