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

[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference最新文献

筛选
英文 中文
Enforcement of integrity constraints against transactions with transition axioms 对具有转换公理的事务实施完整性约束
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217574
Sang Ho Lee, L. Henschen, Myoung-Ho Kim, Yoonjoon Lee
{"title":"Enforcement of integrity constraints against transactions with transition axioms","authors":"Sang Ho Lee, L. Henschen, Myoung-Ho Kim, Yoonjoon Lee","doi":"10.1109/CMPSAC.1992.217574","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217574","url":null,"abstract":"The authors address an enforcement technique of integrity constraints against transaction updates in a relational database system. Transition axioms have been used effectively in checking integrity constraints for single update statements. The authors extend the idea of transition axioms to a transaction which is a sequence of read and update statements. Integrity constraints in this scheme are simplified without database access before the actual operations are performed avoiding the need to undo an illegal transaction. Transaction partitioning, which can reduce the overhead of checking integrity constraints significantly, is proposed. Partitioning a transaction becomes crucial when a transaction is associated with multiple integrity constraints.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131670169","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
Organizing software repositories modeling requirements and implementation experiences 组织软件存储库、建模需求和实现经验
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217607
T. Rose, M. Jarke, J. Mylopoulos
{"title":"Organizing software repositories modeling requirements and implementation experiences","authors":"T. Rose, M. Jarke, J. Mylopoulos","doi":"10.1109/CMPSAC.1992.217607","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217607","url":null,"abstract":"The authors discuss the representational requirements for capturing and processing the conceptual knowledge about software descriptions. Software repositories should not only provide the service of managing evolving objects and software-related descriptions in integrated environments. This requires addressing the representational adequacy and semantics of present object management systems. Based on experiences gained in a series of computer-aided software engineering (CASE) integration projects, they point out abstractional, assertional, and dynamic clustering requirements of data modeling language for repository managers. A simple example illustrates how the deductive object management system ConceptBase, embodying Telos as its data model, meets these requirements.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131735235","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
Commercialization of the Internet 互联网商业化
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217553
Ittai Hershman
{"title":"Commercialization of the Internet","authors":"Ittai Hershman","doi":"10.1109/CMPSAC.1992.217553","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217553","url":null,"abstract":"This history of the Internet is outlined. The greatest success of the Internet story is centered on the controversy regarding its privatization and commercialization. That success is the leveraging of government, academic, and industry support into a partnership dedicated to strengthening the national networking infrastructure. The formation of several companies in 1989/90 opened a new era for the Internet: the era of privatized and commercialized Internet services. Since no routing technology exists to color traffic as being either commercial or research/education, there is no consensus within the Internet community as how to define what is and is not commercial traffic. However, the commercial Internet is evolving rapidly. Already there are at least 25 networks that carry commercial traffic. At speeds up to 1.5 Mb/s, connectivity to the Internet in the US is becoming a commodity. Outside the United States, the openness of the playing field varied based on the state of national telecommunication policies and privatization. The future of the Internet is discussed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131912572","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 area-wide real-time traffic control system (ARTC): a distributed computing system 全区域实时交通控制系统(ARTC):一个分布式计算系统
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217557
Junguk L. Kim, Jyh-Charn S. Liu, P. Swarnam, T. Park, Y. Hao, T. Urbanik
{"title":"The area-wide real-time traffic control system (ARTC): a distributed computing system","authors":"Junguk L. Kim, Jyh-Charn S. Liu, P. Swarnam, T. Park, Y. Hao, T. Urbanik","doi":"10.1109/CMPSAC.1992.217557","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217557","url":null,"abstract":"The authors present an efficient software application of a distributed system for area-wide traffic control. This system, called area-wide real-time traffic control (ARTC), can provide orderly movement of traffic, shorten average vehicle delay, prevent congestion, and improve road utilization. The signal controllers in ARTC, which are microcomputers, are interconnected through a computer network. By exchanging traffic flow information among the signal controllers, ARTC provides a novel concept in traffic control by using the computer network. Simulation results of the ARTC prototype control algorithm are presented. The results show substantial improvement over an optimized fixer time control. The signal controllers and the computer network were designed to support real-time communication requirements and a sufficient level of fault tolerance.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125239248","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
A metalanguage based on a theory of specification 一种基于规范理论的元语言
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217565
K. B. Zerangue, J. E. Urban
{"title":"A metalanguage based on a theory of specification","authors":"K. B. Zerangue, J. E. Urban","doi":"10.1109/CMPSAC.1992.217565","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217565","url":null,"abstract":"A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133019281","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
Metawidgets: towards a theory of multimodal interface design 元部件:迈向多模态界面设计理论
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217593
M. Blattner, E. Glinert, J. Jorge, G. R. Ormsby
{"title":"Metawidgets: towards a theory of multimodal interface design","authors":"M. Blattner, E. Glinert, J. Jorge, G. R. Ormsby","doi":"10.1109/CMPSAC.1992.217593","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217593","url":null,"abstract":"The authors analyze two intertwined and fundamental issues concerning computer-to-human communication in the multimodal interface; the interplay between sound and graphics, and the role of object persistence. The observations lead to metawidgets as abstract entities capable of manifesting themselves to users as image, as sound, or as various combinations and/or sequences of the two media. The authors show examples of metawidgets in action and discuss mechanisms for choosing among alternative media for metawidget instantiation. Two experimental microworlds implemented to explore these ideas are described.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"221 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121309499","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}
引用次数: 30
Distributed EZ (string processing language) 分布式EZ(字符串处理语言)
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217590
A. E. Campos, D. R. Hanson
{"title":"Distributed EZ (string processing language)","authors":"A. E. Campos, D. R. Hanson","doi":"10.1109/CMPSAC.1992.217590","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217590","url":null,"abstract":"EZ is a system that integrates traditional operating systems and programming languages into a very-high-level persistent string processing language. The authors describe the design and initial implementation of a distributed memory manager that distributes EZ's virtual address space transparently among a network of homogeneous computers. The design adapts the techniques used in recent implementation of shared virtual memory for use in EZ's persistent environment. Unlike most implementations of shared virtual memory, control information is distributed and migrates. This memory manager works in concert with a distributed mark-and-sweep garbage collector, which is also concurrent and real-time. This collector trades time for space and minimal disruption of mutators, which reduces communication costs.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116223437","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
A software re-engineering process model 软件再工程过程模型
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217608
E. J. Byrne, D. Gustafson
{"title":"A software re-engineering process model","authors":"E. J. Byrne, D. Gustafson","doi":"10.1109/CMPSAC.1992.217608","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217608","url":null,"abstract":"A descriptive process model of software re-engineering is presented. The overall structure of the process model is defined by the re-engineering approach. Three re-engineering approaches are described: lump sum, incremental, and evolutionary. The focus is on the breadth of possible tasks.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121978698","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}
引用次数: 18
A transparent monitoring tool for shared-memory multiprocessors 用于共享内存多处理器的透明监控工具
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217563
David F. Robinson, B. Cheng, R. Enbody
{"title":"A transparent monitoring tool for shared-memory multiprocessors","authors":"David F. Robinson, B. Cheng, R. Enbody","doi":"10.1109/CMPSAC.1992.217563","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217563","url":null,"abstract":"Monitoring and debugging of parallel programs is complicated by race conditions, which can cause software monitoring to alter program behavior. To avoid these unwanted modifications of program execution, the authors present a flexible scheme for transparently monitoring parallel programs in a shared-memory environment. To achieve transparency, the monitor observes causal relations between events in different threads of execution, and intervenes when an impending event would change the order of occurrence of causally related events, as compared to unmonitored execution of the same program. Constructs used to support this monitoring scheme are developed, including mechanisms to deal with unsynchronized and coarse grained clocks. The monitoring scheme requires the instrumentation of every shared-memory access. To measure the overhead created by this intrusion, a prototype monitor has been implemented. Preliminary performance results produced by the prototype are presented and discussed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122080641","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
A software engineering perspective to the design of a user interface framework 用户界面框架设计的软件工程视角
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217591
H. Six, J. Voss
{"title":"A software engineering perspective to the design of a user interface framework","authors":"H. Six, J. Voss","doi":"10.1109/CMPSAC.1992.217591","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217591","url":null,"abstract":"To guide user interface construction, concepts are needed that provide a conceptual basis for modeling, abstract notation, and implementation of tools and concrete interfaces. The authors discuss how general software engineering principles apply in this context. Following these principles, they have developed an object-oriented user interface framework, called DIWA, which consists of a design model enhanced by a declarative language for the specification of dynamic dialog behavior. The main components of the DIWA framework are addressed, and an extended discussion of the underlying design rationales is presented. The design rationale behind the DIWA system is discussed in depth. A description of the current implementation status and some ideas for future work are included.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128436626","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}
引用次数: 7
首页 上一页 下一页 尾页
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学术官方微信