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

[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s最新文献

筛选
英文 中文
Studying the use and application behaviour of a large network 研究大型网络的使用和应用行为
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26674
D. Chiu, Ram Sudama
{"title":"Studying the use and application behaviour of a large network","authors":"D. Chiu, Ram Sudama","doi":"10.1109/FTDCS.1988.26674","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26674","url":null,"abstract":"A session-level network monitor that collects network application and user information is described. Such information can potentially be used for various network-management functions, including performance, configuration, accounting, and security management. The design of a prototype monitor for the DECnet environment is reviewed. The use of the monitor is illustrated by applying it to monitor a site in the DECnet corporate network. The popular applications in use at the site are grouped into four types, user communication (information sharing), distributed systems services (resource sharing), network management, and virtual terminal, and reviewed. Various characteristics of these applications obtained from the monitor are summarized.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132304215","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
AL 1: a language for distributed applications 一种用于分布式应用程序的语言
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26707
A. Marcoux, Christine Maurel, P. Sallé
{"title":"AL 1: a language for distributed applications","authors":"A. Marcoux, Christine Maurel, P. Sallé","doi":"10.1109/FTDCS.1988.26707","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26707","url":null,"abstract":"AL 1, an actor-based programming language designed for describing and performing distributed applications, is proposed. This language unifies sequential and parallel programming and makes possible a simple expression of control and data parallelism. Its implementation on a distributed message-passing virtual machine called SMART is described.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115959164","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}
引用次数: 4
A distributed multimedia database system 分布式多媒体数据库系统
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26729
A. Ghafoor, C. Chen, P. Berra
{"title":"A distributed multimedia database system","authors":"A. Ghafoor, C. Chen, P. Berra","doi":"10.1109/FTDCS.1988.26729","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26729","url":null,"abstract":"A multiprocessor-based architecture is proposed for a heterogeneous multimedia database (HMD) system, in order to provide fast and transparent multimedia services. The design philosophy of this architecture is based on functional requirements imposed by the multimedia services. The model of the HMD architecture has four components: a network controller, multimedia servers, a communication network, and the user components. Each component is shown to be responsible for a subset of functions that are vital for providing the desired services.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134584315","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}
引用次数: 15
Distributed rule-based AST-systems 分布式基于规则的ast系统
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26712
A. Cremers, B. Igel, G. Reichwein
{"title":"Distributed rule-based AST-systems","authors":"A. Cremers, B. Igel, G. Reichwein","doi":"10.1109/FTDCS.1988.26712","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26712","url":null,"abstract":"A specification tool for distributed systems that uses the idea of applicative state transition systems is used to obtain an executable specification of the system behavior. A distributed system is regarded as a set of applicative state transition (AST) systems. Integration of a rule-based component into an existing applicative specification method for distributed systems produces a suitable language for the formulation of distributed production systems. This language unifies the model of AST systems with a (forward chaining) production system and with C.A.R. Hoare's (1985) ideas of communicating processes.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127663884","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
INTEGRAL-an integrated framework for distributed software validation and verification 一个用于分布式软件验证和验证的集成框架
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26711
C.K. Chang, C.-C. Song, Y.-F. Chang
{"title":"INTEGRAL-an integrated framework for distributed software validation and verification","authors":"C.K. Chang, C.-C. Song, Y.-F. Chang","doi":"10.1109/FTDCS.1988.26711","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26711","url":null,"abstract":"A prototype validation and verification (V&V) system, called INTEGRAL, is presented that provides comprehensive and homogeneous analysis capabilities for the development and maintenance of distributed systems. The underlying software model supporting various V&V activities in INTEGRAL, called the extended modified Petri net model is applicable to the descriptions of both products and processes at various levels of the software life cycle. The goal of this research is to demonstrate the availability and applicability of a Petri-net-based software development paradigm supported by INTEGRAL.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116309541","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}
引用次数: 5
The Mentat programming language and architecture Mentat编程语言和体系结构
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26725
Andrew S Lj, Jane W S G R I M S H A W, Liu
{"title":"The Mentat programming language and architecture","authors":"Andrew S Lj, Jane W S G R I M S H A W, Liu","doi":"10.1109/FTDCS.1988.26725","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26725","url":null,"abstract":"An object-oriented macro dataflow system called Mentat is described. The objective of Mentat is to provide an easy-to-use, transparent mechanism to exploit parallelism. Mentat meets these objectives by combining a data-driven computation model, the macro data-flow model, with the object-oriented programming paradigm. A high-level view of Mentat (including the macro data-flow model) is provided, along with Mentat's graph-representation mechanism called future lists, the Mentat programming language, the Mentat virtual machine, and the implementation status of a prototype Mentat system.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115656043","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}
引用次数: 4
A tool for the synthesis of discrete controllers for distributed systems 分布式系统离散控制器的综合工具
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26697
V. Carchiolo, A. Faro, M. Malgeri
{"title":"A tool for the synthesis of discrete controllers for distributed systems","authors":"V. Carchiolo, A. Faro, M. Malgeri","doi":"10.1109/FTDCS.1988.26697","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26697","url":null,"abstract":"Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner's calculus for communicating systems. (1985).<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131350567","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
An approach to the distributed database access protocol design 一种分布式数据库访问协议的设计方法
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26732
V. Bojilov, S. Yonev
{"title":"An approach to the distributed database access protocol design","authors":"V. Bojilov, S. Yonev","doi":"10.1109/FTDCS.1988.26732","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26732","url":null,"abstract":"Under the circumstances of intensive proliferation of distributed data-processing systems and absence of a distributed database-access protocol (DDBAP) standard, an approach to the DDBAP design is proposed. In the approach, the remote-database-access protocol (RDAP) is extended into RDAP+, and the second layer, containing all necessary functions, is developed on the basis of RDAP+. The conceptual RDAP+ model which is based on three-agent operation is discussed. The DDBAP features require the presence of the third agent, the resource manager, the functions of which are described. The extension of connection management and transaction management services provided by RDAP+ is considered. Proposals for message formats implementing these features and primitives are given.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128879552","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
Control flow analysis of distributed computing system software using structured Petri net model 基于结构化Petri网模型的分布式计算系统软件控制流分析
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26696
S. Yau, C. Chou
{"title":"Control flow analysis of distributed computing system software using structured Petri net model","authors":"S. Yau, C. Chou","doi":"10.1109/FTDCS.1988.26696","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26696","url":null,"abstract":"The structure Petri net model is presented for the representation and analysis of the control structures of distributed computing system software (DCSS). The basic properties of the model and some analysis techniques using this model are also presented. Liveness, reachability, and other related problems and their complexity are investigated. The NP-completeness of the reachability problem of this model is demonstrated. Four subclasses of structured Petri nets are then identified, and within these subclasses more efficient analysis methods based on decompositions are developed. Several O( mod T mod and O( mod T mod )/sup 2/) algorithms for liveness and reachability analyses are presented. Since most of these algorithms can be performed efficiently and economically, it is feasible that they can be integrated as an analysis tool for supporting the DCSS development process.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132283440","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}
引用次数: 9
A broadband local area network using the intelligent head-end 一种采用智能前端的宽带局域网
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s Pub Date : 1988-09-14 DOI: 10.1109/FTDCS.1988.26671
M. Saito, T. Kunii, H. Yoshida
{"title":"A broadband local area network using the intelligent head-end","authors":"M. Saito, T. Kunii, H. Yoshida","doi":"10.1109/FTDCS.1988.26671","DOIUrl":"https://doi.org/10.1109/FTDCS.1988.26671","url":null,"abstract":"A broadband local area network system call is illustrated using the previously developed intelligent head-end. The head-end provides the advantages of dynamical channel exchange and network configuration control facility. The head-end exchanges analog information in a manner similar to the digital exchange. A novel LAN architecture is described, which is based on the open system interconnection for the broadband network, to which the digital/analog devices are connected. A prototype model experiment is presented.<<ETX>>","PeriodicalId":384536,"journal":{"name":"[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129446212","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
首页 上一页 下一页 尾页
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学术官方微信