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

Proceedings., Fourteenth Annual International Computer Software and Applications Conference最新文献

筛选
英文 中文
An implementation of software tools for replay and partial replay of Concurrent-C programs 并行c程序的重放和部分重放软件工具的实现
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139336
Jason R. Lee, Kuo-Hua Wang, C. Chou
{"title":"An implementation of software tools for replay and partial replay of Concurrent-C programs","authors":"Jason R. Lee, Kuo-Hua Wang, C. Chou","doi":"10.1109/CMPSAC.1990.139336","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139336","url":null,"abstract":"A set of debugging tools has been implemented for monitoring and controlling the execution sequences of Concurrent-C programs. Among these tools, REPLAY MONITOR can be employed for monitoring the synchronization events while RELAY REPRODUCER serves for reproducing the monitored synchronization events. When some processes of a concurrent program are irrelevant and time-consuming, PARTIAL REPLAY MONITOR and PARTIAL REPLAY REPRODUCER can be utilized for monitoring and reproducing synchronization events while ignoring the actual computation of those irrelevant processes in order to save debugging time.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127403481","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
Architecture and functionality of a specification environment for distributed software 分布式软件规范环境的体系结构和功能
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139445
B. Krämer, H. Schmidt
{"title":"Architecture and functionality of a specification environment for distributed software","authors":"B. Krämer, H. Schmidt","doi":"10.1109/CMPSAC.1990.139445","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139445","url":null,"abstract":"A description is given of Graspin, a workstation-based prototype environment that aids in the incremental construction, verification, and prototyping of specifications for concurrent and distributed software systems. It includes a Petri net-based specification formalism, an editor generator with graphical capabilities, and tools for static semantics checking, automated verification of static and dynamic properties of specifications, and specification-based prototyping. The Graspin architecture and kernel environment have shown their flexibility in the development of a prototype environment supporting the formal specification language SEGRAS. It was necessary to extend the kernel by semantic tools such as type checker and net simulator and to integrate separately developed tools such as the rewrite rule subsystem into a coherent environment. New Graspin features include a graphical refinement method and a multi-level net animation technique.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129567064","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}
引用次数: 8
Implementing real-time systems using performance polymorphism 使用性能多态性实现实时系统
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139461
K. Kenny, Kwei-Jay Lin
{"title":"Implementing real-time systems using performance polymorphism","authors":"K. Kenny, Kwei-Jay Lin","doi":"10.1109/CMPSAC.1990.139461","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139461","url":null,"abstract":"A novel model for complex real-time systems is proposed. In this model, several versions of a program fragment are provided to perform a particular action. These versions will differ only in their performance parameters such as the time required, the resources consumed, and the precision of the results. The authors describe an implementation of a technique called performance polymorphism, in which the process of selecting a version from this set may be automated. Performance polymorphism is a unified theory to express the choice among multiple versions in a way that is both natural and powerful. It allows the flexibility of adding new versions at any time, of adapting to unforeseen constraints, and of adapting to automatically generated variants of a procedure (as, for example, might come from a parallelizing compiler). A means to implement the theory of performance polymorphism that requires very low overheads at run time has been developed.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132371103","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}
引用次数: 1
Using the software process model to analyze a software project 使用软件过程模型分析软件项目
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139378
I. Sue Ranft, D. Gustafson
{"title":"Using the software process model to analyze a software project","authors":"I. Sue Ranft, D. Gustafson","doi":"10.1109/CMPSAC.1990.139378","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139378","url":null,"abstract":"Attention is given to the software process model (SPM), which was introduced by A.L. Baker et al. (1987). The SPM models software development by modeling the evolution of the full set of documents produced in software development. The authors show the usefulness of the SPM as a management tool by applying it to a software project. Since the SPM shows patterns of the software product development in greater detail than the current tools available, it provides management with a more effective means of visualizing and controlling software projects. The SPM has the capability to alert management to problems during the development process. This was illustrated when the SPM indicated a problem during the design phase. The problem was made known by the pattern generated by the continuous changes to design specifications when initial code was completed. It was shown that the SPM can be used to ensure consistencies between documents. By plotting changes in documents, both developers and managers are alerted as to whether or not a change is incorporated in other documents.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124102342","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
FOREST: a systematic testing environment based on standardized formal description techniques FOREST:基于标准化形式化描述技术的系统测试环境
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139413
K. Katsuyama, T. Nakakawaji, F. Sato, T. Mizuno
{"title":"FOREST: a systematic testing environment based on standardized formal description techniques","authors":"K. Katsuyama, T. Nakakawaji, F. Sato, T. Mizuno","doi":"10.1109/CMPSAC.1990.139413","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139413","url":null,"abstract":"The testing environment FOREST (formal environment for systematic testing), which uses formal description techniques systematically, has been developed. FOREST generates the TTCN format test sequence from the specification described in SDL. Furthermore, FOREST generates the test data from the protocol data definition described in ASN.1. By using the FOREST system, the test specification and test execution and test report description are achieved systematically. Therefore, the cost of the testing phase of OSI upper layer software development is reduced. In particular, the facility for test sequence generation of FOREST realizes high coverage with a reasonable cost. The facility can efficiently check protocol specifications. The effectiveness of the approach is demonstrated by an application to the test design for the CCR protocol.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129382238","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
Intelligent database retrieval by visual reasoning 基于视觉推理的智能数据库检索
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139409
Shi-Kuo Chang, Yi Deng
{"title":"Intelligent database retrieval by visual reasoning","authors":"Shi-Kuo Chang, Yi Deng","doi":"10.1109/CMPSAC.1990.139409","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139409","url":null,"abstract":"The authors introduce the concept of personalized user profile for very large databases, as well as the VisualNet model as a representation for such a user profile. A user profile is a small and dynamic structure which contains the user's knowledge of the database, serves as a starting point for the user's access to the database, and supports intelligent database accesses. The basic idea is that a user usually accesses only a very small and stable region of a very large database, and therefore, the size of the user profile is much smaller than the whole database view. It is hoped that most of the user's database search can be conducted in the user profile. Techniques for automatic construction and maintenance of user profiles are discussed. A set of visual reasoning algorithms is presented to support intelligent and interactive user's queries to the database, as well as to coordinate the search between the user profile and the global database.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116495797","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}
引用次数: 11
Intelligent query mechanism for expert systems 专家系统的智能查询机制
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139437
W. Shao, H. Soon
{"title":"Intelligent query mechanism for expert systems","authors":"W. Shao, H. Soon","doi":"10.1109/CMPSAC.1990.139437","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139437","url":null,"abstract":"The authors describe a set of query techniques which helps to improve the efficiency of the query mechanism of expert systems. They discuss a number of algorithms and formulae for identifying a key feature set and deriving an ideal query sequence. The proposed algorithms aim to cut down the consultation time so as to increase the efficiency of the expert system. The query mechanism can be further enhanced by taking the cost factor of answering each query into consideration. This consideration will affect the value of the features, for the greater the cost required to obtain the answer, the less favorable is the query about that feature. This will lead to more realistic algorithms for finding a KFS (key feature set) and an ideal query sequence. The advantages and disadvantages of a static query mechanism are examined. The solution suggested is to employ a semi-dynamic mechanism. In this way, an appropriate threshold value for the number of patterns which remain undifferentiated has to be determined for the switching from the static to the dynamic mechanism before the suggested mechanism can improve the module.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116770633","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
Cognitive building blocks of a database expert system 数据库专家系统的认知构建块
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139331
D. L. Harris
{"title":"Cognitive building blocks of a database expert system","authors":"D. L. Harris","doi":"10.1109/CMPSAC.1990.139331","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139331","url":null,"abstract":"The practical application of cognitive psychology is addressed. A model for how human thought abstraction works is described, and then it is shown how that model was used as the framework for the design of the ATHENA expert system. The system is intended to assist engineers in quality assurance of database design.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123572826","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
The status and future of interface technology 接口技术的现状与未来
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139390
Sharon M. Walter, J. Neal, C. Montgomery, S. Tyler
{"title":"The status and future of interface technology","authors":"Sharon M. Walter, J. Neal, C. Montgomery, S. Tyler","doi":"10.1109/CMPSAC.1990.139390","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139390","url":null,"abstract":"The session focuses on various stages and aspects of interface technology, from basic research to product development and marketing, and from systems accepting typed sequences of words to systems accepting human input from more than one hardware or software input device. Two topics are reported on in detail: intelligent multimedia interfaces and the utility of intelligent interfaces for complex applications.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123245576","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
AuditPro-integrating knowledge-based technology with diagramming tools for auditors auditpro集成了基于知识的技术和审计人员的绘图工具
Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI: 10.1109/CMPSAC.1990.139347
Tan Sian Lip, C. H. Seng
{"title":"AuditPro-integrating knowledge-based technology with diagramming tools for auditors","authors":"Tan Sian Lip, C. H. Seng","doi":"10.1109/CMPSAC.1990.139347","DOIUrl":"https://doi.org/10.1109/CMPSAC.1990.139347","url":null,"abstract":"The authors describe the design of AuditPro, an integrated collection of tools for supporting auditors performing internal control evaluation. Among the tools are a graphical document-flowchart editor, a graphical organization chart editor, an 'outliner-type' internal control questionnaire, and an expert system. The unique features of this system are that the knowledge-based component of the system is embedded within the internal control questionnaire; that the system is able to make inferences about the internal control system through direct analysis of the diagrams drawn using the graphical editors; and that the knowledge-representation is designed specifically to support internal control evaluation. AuditPro provides a natural framework for dialogue between domain experts and knowledge engineers. The system builds internal models of the internal control systems under evaluation through the diagraming tools so that some audit-concerns captured in knowledge bases can be answered by directly querying the internal models instead of the user. The 'outliner' user-interface gives users the initiative to browse and answer in whatever order is convenient at the time of use.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128611513","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学术文献互助群
群 号：604180095
Book学术官方微信