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

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96最新文献

筛选
英文 中文
Would Internet Meet Global Acceptance? - From application perspective - 互联网会被全球接受吗?-从应用程序的角度-
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-21 DOI: 10.1109/CMPSAC.1996.544166
Shigeki Goto
{"title":"Would Internet Meet Global Acceptance? - From application perspective -","authors":"Shigeki Goto","doi":"10.1109/CMPSAC.1996.544166","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544166","url":null,"abstract":"Scope : Internet is prevailing world wide. For example, countries and regions in Asia and Pacific rim are rapidly extending Internet connectivity in both academically and commercia!ly and are now collaborating to plan some hubs and backbones. This panel focuses emerging applications on Internet such as electronic commerce and interactive systems, together to be presented by both such application researchers and Internet community such as APNIC and Internet providers. Discussion will also include cultural issues, legal issues, government involvement, and each country specific issues such as language problems in Asian countries.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123269689","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
An object-oriented real time systems modeling and verification methodology 一个面向对象的实时系统建模和验证方法
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544618
D. Kung, S. Oksanen, Jyhjong Lin
{"title":"An object-oriented real time systems modeling and verification methodology","authors":"D. Kung, S. Oksanen, Jyhjong Lin","doi":"10.1109/CMPSAC.1996.544618","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544618","url":null,"abstract":"An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and temporal constraints. That is, an object type specification defines a theory of a type of objects. An object-oriented real time conceptual model using the object types can be translated into an augmented Petri net with timing and temporal constraints. A reachability tree of permissible system states is generated for the augmented Petri nets for verifying whether the conceptual model satisfies desired temporal constraints.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123757170","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
Applying composable security properties to assessment of information systems 将可组合的安全属性应用于信息系统的评估
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.542435
Q. Shi, N. Zhang
{"title":"Applying composable security properties to assessment of information systems","authors":"Q. Shi, N. Zhang","doi":"10.1109/CMPSAC.1996.542435","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542435","url":null,"abstract":"We generalise and extend a composable security property that was developed for the noninterference requirement and used to deal with composition of components linked as a chain. The generalisation enables the property to enforce different security requirements, while the extension enables the property to handle the case where components are connected as a tree. This generalised and extended composable property is then applied to carry out a case study of security analysis of an information system.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122959980","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
Estimating uncaught exceptions in Standard ML programs from type-based equations 从基于类型的方程估计标准ML程序中未捕获的异常
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544613
K. Yi, Sukyoung Ryu, K. Pyun
{"title":"Estimating uncaught exceptions in Standard ML programs from type-based equations","authors":"K. Yi, Sukyoung Ryu, K. Pyun","doi":"10.1109/CMPSAC.1996.544613","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544613","url":null,"abstract":"We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. Contrary to our earlier method (Yi, 1994) based on abstract interpretation, where the input program's control flow is simultaneously computed while our exception analysis progresses, we separate the two phases in a manner similar to conventional data flow analysis. Before the exception analysis begins, we first estimate the input program's control flow from the type information from SML/NJ compiler. Based on this call-graph structure, exception flow is specified as a set of equations, whose solution is computed using an iterative least fixpoint method. A prototype of this analysis is applied to two realistic SML programs (ML-LEX and OR-SML core) and is 3 or 40 times faster than the earlier method and saves memory by 35 or 65 percent.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121167528","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
Internet multimedia application technologies: current practice and future directions 互联网多媒体应用技术:现状与未来方向
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544169
S. Miyakawa
{"title":"Internet multimedia application technologies: current practice and future directions","authors":"S. Miyakawa","doi":"10.1109/CMPSAC.1996.544169","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544169","url":null,"abstract":"The author reports on the status of technologies for Internet multimedia application in practice such as MBone, its utilities and some commercial products. Also introduced are some experimentations which have been carried out on new frameworks and technologies.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128122877","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
Integrating through user interface: a flexible integration framework for third-party software 通过用户界面集成:一个灵活的第三方软件集成框架
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544587
Yimin Bao, E. Horowitz
{"title":"Integrating through user interface: a flexible integration framework for third-party software","authors":"Yimin Bao, E. Horowitz","doi":"10.1109/CMPSAC.1996.544587","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544587","url":null,"abstract":"The current trend of constructing new systems from collections of pre-existing third-party software and commercial off-the-shelf (COTS) products presents serious challenges to existing integration technology. We present a flexible integration framework which has general applicability for pre-existing third-party and COTS software (often highly interactive, with graphical user interface, and without source code access), supports users by allowing them to easily change the way software interacts (thus supporting system evolution and component reusability), and is easily programmable by end-users. Specifically we describe the Tool Integration Language (TIL) and the Tool Integration Server System (TISS) which provide flexible integration mechanisms for our framework and show how they can be used to integrate a set of existing applications and COTS.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125702764","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}
引用次数: 13
SESAME: a Scalable and ExtenSible Architecture for Multimedia Entertainment SESAME:一种可扩展的多媒体娱乐体系结构
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.542426
Yen-Jen Lee, D. Du, Wei-hsiu Ma
{"title":"SESAME: a Scalable and ExtenSible Architecture for Multimedia Entertainment","authors":"Yen-Jen Lee, D. Du, Wei-hsiu Ma","doi":"10.1109/CMPSAC.1996.542426","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542426","url":null,"abstract":"The advances in storage, host I/O, and networks entice a variety of on-demand services. To effectively use these resources, we propose a Scalable and Extensible Architecture for Multimedia Entertainment (SESAME) to explore the modularity and scalability of a Karaoke-on-demand (KOD) service. Karaoke popularizes MTV-style entertainment to let viewers sing along. It is shown that hierarchical architecture for KOD scales well and is cost-effective in the network environment where latency is not a major concern. The modularity and scalability are achieved by: 1) distributing Karaoke data at different levels of storage based on popularity to leverage the cost of near-line and on-line storages, and alleviate hot spot access for popular titles, 2) modularizing the server design as well as service hierarchy, and 3) reducing the concurrent accesses to a server by expanding service levels such that an inexpensive computer can be a server. We illustrate live applications in a Karaoke house and in a campus-wide setting. The SESAME approach is being extended to some other areas of interests such as distance learning.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115977935","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}
引用次数: 13
Handling multimedia data for mobile computers 处理移动计算机的多媒体数据
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544150
C. Perkins
{"title":"Handling multimedia data for mobile computers","authors":"C. Perkins","doi":"10.1109/CMPSAC.1996.544150","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544150","url":null,"abstract":"Mobile clients have unusual needs for sending and receiving multimedia data. The traditional client/server paradigm does not take into account variable network conditions; thus traditional client/server applications have no capability of responding to intermittent connectivity, changing cost structures, or the kind of fluctuations in available bandwidth which are characteristic of wireless links. Two approaches towards allowing such adaptations are presented for comparison: proxies and modifications to client and server.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130465693","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
Performance evaluation of the OLVP (online video processing) system 在线视频处理(OLVP)系统的性能评价
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.545883
F. Andrès, Keigo Ihara, J. Boulos, K. Ono, Y. Yasuda
{"title":"Performance evaluation of the OLVP (online video processing) system","authors":"F. Andrès, Keigo Ihara, J. Boulos, K. Ono, Y. Yasuda","doi":"10.1109/CMPSAC.1996.545883","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.545883","url":null,"abstract":"The paper discusses how the OLVP system, an innovative video-on-demand system, can be used to efficiently support video delivery applications over an asynchronous transfer mode (ATM) network. We show how the OLVP system provided a high quality of service (QoS) to video applications executing over a set of distributed and heterogeneous system resources. System architecture is described. Key functionality, including distributed video storage management, real-time admission control strategy and resource allocation routing mechanism, traffic management and routing algorithms (both in the ATM network and in the OLVP system) are investigated. To illustrate the success of our approach, we provide a performance evaluation based on simulations of the system.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132899427","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
Consolidation of query results in a multidatabase environment: an object-oriented approach 在多数据库环境中整合查询结果:面向对象的方法
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544593
Daniel J. Callen, S. Urban
{"title":"Consolidation of query results in a multidatabase environment: an object-oriented approach","authors":"Daniel J. Callen, S. Urban","doi":"10.1109/CMPSAC.1996.544593","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544593","url":null,"abstract":"This research extends an existing framework for translating global queries over a heterogeneous network of databases, focusing on the consolidation of query results and the resolution of semantic differences between component databases and the global schema. The research uses an object-oriented database for the global platform and a self-describing global schema as a means for providing access to database information. During query consolidation, query results are read into object classes along with the metadata needed to resolve the semantic differences. Through encapsulated procedures, query results are transformed and merged into the global format. This research identifies the information needed in the global schema for resolution of semantic heterogeneity during consolidation of query results.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114598796","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
下一页 尾页
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学术官方微信