检索结果-内蒙古大学图书馆

International Conference and Workshop on engineering of computer-Based systems

作者： V. Kirova W. Rossak Department of Computer and Information Science Department of Computer and Information Science New Jersey Institute of Technology Newark NJ USA Department of Computer and Information Science Department of Computer and Information Science Software and Systems Engineering Laboratory New Jersey Institute of Technology Newark NJ USA

We discuss ASPECT, a first step towards a generic specification technique for software architectures. We present and discuss an abstract grammar for ASPECT that lists and relates to each other all the architectural elements that form ASPECT's vocabulary. After elaborating on the characteristics of these architectural elements, we illustrate their application in a small example.

关键词： computer architecture software systems systems engineering and theory Laboratories software architecture Information science Open systems Costs Decision support systems Standardization

来源：评论

学校读者我要写书评

暂无评论

TheMultiViewOODB view system: Design and implementation

引用

Theory and Practice of Object systems 1996年第3期2卷

作者： Harumi A. Kuno Elke A. Rundensteiner Dept. of Elect. Engineering and Computer Science Software Systems Research Laboratory The University of Michigan 1301 Beal Avenue Ann Arbor MI 48109-2122 rundenst@eecs.umich.edu

Views are an established technique for restructuring and repartitioning the format of data, classes, and schemata so that applications can customize shared data objects without affecting other applications' perceptions of the data. The MultiView system is one of the first OODB systems to support dynamic and updatable materialized object-oriented database views. MultiView is fully functional and is being used for a number of projects. In this article, we describe our system's architecture, the services it provides, and the decisions we made during our implementation. Although the GemStone system we chose for our implementation base offers many features that greatly aided our implementation, it does not support several key object-model properties that are critical for the realization of our design principles. These fundamental properties include multiple classification, dynamic object-restructuring, and the ability to make dynamic changes to the schema. We hence adopted a flexible and powerful technique known as object-slicing to construct the MultiView object model. This object-slicing architecture successfully addresses our requirements. The MultiView system is distinguished by a number of unique features, including the incorporation of virtual classes into the global schema as first-class database citizens, support for capacity-augmenting views (virtual classes that add new extrinsic properties or behavior), view materialization strategies that take advantage of object-oriented modeling features, and a graphical interface that is tailored to provide easy access to the MultiView system. The resulting system preserves all of the capabilities of the underlying GemStone OODB while providing support for dynamic and updatable materialized object-oriented views. © 1996 John Wiley & Sons, Inc.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PROGRAM VIEW GENERATION AND CHANGE ANALYSIS USING ATTRIBUTED DEPENDENCY GRAPHS

引用

JOURNAL OF software MAINTENANCE-RESEARCH AND PRACTICE 1995年第4期7卷 239-261页

作者： ALZOUBI, R PRAKASH, A Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109-2122 U.S.A. He is currently an Assistant Professor at Yarmouk University Irbed H.K. of Jordan. Earlier he has worked for the Ford Motor Company in Dearborn Michigan. His research interests are in the area of software engineering. Since 1989 he has been with the Department of Electrical Engineering and Computer Science at the University of Michigan Ann Arbor where he is currently an Associate Professor. His research interests include software engineering and computer-supported cooperative work. He is a member of the ACM and the IEEE Computer Society.

software maintenance is usually the most expensive phase of the software life-cycle, Program understanding and impact-of-change analysis are two of the major activities during this phase, In this paper, we describe attributed program dependency graphs (APDGs), a model to store information derived from the program source code and ease construction of tools for software maintenance, We show how the model can be used for interactive view generation and doing two kinds of impact-of-change analysis-incremental and comparison-oriented. Incremental change analysis uses APDGs and a Rule Base to provide a way for the user to analysis the effect of proposed well-defined changes, Comparison-oriented change analysis allows a user to generate structural semantic differences between two versions of a subsystem after an arbitrary sequence of changes, We also introduce SCAN, a prototype collection of loosely integrated tools based on the APDG model and describe our experiences with the system.

关键词： PROGRAM REPRESENTATION DEPENDENCY GRAPHS PROGRAM UNDERSTANDING REVERSE-engineering REengineering IMPACT ANALYSIS CHANGE ANALYSIS

来源：评论

学校读者我要写书评

暂无评论

Implementation of a discretionary access control model for script-based systems

Implementation of a discretionary access control model for s...

引用

computer Security Foundations Workshop

作者： T. Jaeger A. Prakash Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the reader, who executes the script. For instance, command scripts could be used by Mosaic, the popular World-wide Web browsing tool, to provide fancy interfaces to services, such as banking, shopping, etc. However, the use of command scripts presents a serious security problem. A command script is run with the reader's access rights, so a writer can use a command script to gain unauthorized access to the reader's data and applications. Existing solutions to the problem either severely restrict I/O capability of scripts, limiting the range of applications that can be supported, or permit all I/O to scripts, potentially compromising the security of the reader's data. We define a discretionary access control model that permits users to flexibly limit the access rights of the processes that execute a command script. We use this model in a prototype system that safely executes command scripts available from Mosaic.

关键词： Access control Permission Postal services Power system modeling File systems Data security software systems Laboratories Electronic mail Application software

来源：评论

学校读者我要写书评

暂无评论

Materialized object-oriented views in MultiView

Materialized object-oriented views in MultiView

引用

International Workshop on Research Issues in Data engineering

作者： H.A. Kuno E.A. Rundensteiner Department of Electrical Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

Object-oriented view mechanisms have received much attention in the literature in recent years, since they provide powerful mechanisms for addressing tasks such as customized tool interfacing to object-oriented databases (OODBs) and interoperability of heterogeneous databases. However, little progress has been made thus far on addressing the topic of view materialization in object-oriented databases. In the context of the MultiView project, we have developed an object model and an accompanying set of algorithms for the support of updatable materialized views in OODBs. We take advantage of unique features of the MultiView model, including its support for object-preserving queries, the integration of base and virtual classes into a unified and consistent global class hierarchy, and an object-slicing approach. In this paper, we present the MultiView model of materialized views, supporting updates on both base and virtual classes. We also describe a set of efficient algorithms for incremental view maintenance.< >

关键词： Object oriented modeling Object oriented databases computer science software systems Spatial databases Context modeling NASA Prototypes

来源：评论

学校读者我要写书评

暂无评论

A transparent object-oriented schema change approach using view evolution

A transparent object-oriented schema change approach using v...

引用

International Conference on Data engineering

作者： Young-Gook Ra E.A. Rundensteiner Department of Electrical Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA

When a database is shared by many users, updates to the database schema are almost always prohibited because there is a risk of making existing application programs obsolete when they run against the modified schema. This paper addresses the problem by integrating schema evolution with view facilities. When new requirements necessitate schema updates for a particular user, the user specifies schema changes to the personal view rather than to the shared base schema. Our view evolution approach then computes a new view schema that reflects the semantics of the desired schema change, and replaces the old view with the new one. We present algorithms that implement the set of schema evolution operations typically supported by OODB systems as view definitions. This approach provides the means for schema change without affecting other views (and thus without affecting existing application programs). The persistent data is shared by different views of the schema, i.e., both old as well as newly developed applications can continue to interoperate. In this paper, we present examples that demonstrate our approach.< >

关键词： Object oriented databases Multimedia databases computer science software systems Electronic mail Application software Data models computer aided manufacturing CADCAM Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

PARALLEL AND DISTRIBUTED TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Development and application of MCAL tools for marine radar instruction

引用

computer Applications in engineering Education 1995年第4期3卷 259-259页

作者： Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.

In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional course information through various types of computer media as opposed to the classic CAL systems. The philosophy and techniques employed to design the system are investigated. Usage of the implemented system and its merits have been illustrated through its application to teach engineering students and technicians the theory and concepts of marine radar. System design, implementation, test, and revision phases are presented and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A FRAMEWORK FOR SOURCE CODE SEARCH USING PROGRAM PATTERNS

引用

IEEE TRANSACTIONS ON software engineering 1994年第6期20卷 463-475页

作者： PAUL, S PRAKASH, A Software Systems Research Laboratory Dept. of Electrical Engineering & Computer Science University of Michigan Ann Arbor MI 48105 USA

For maintainers involved in understanding and reengineering large software. locating source code fragments that match certain patterns is a critical task. Existing solutions to the problem are few, and they either involve manual, painstaking scans of the source code using tools based on regular expressions, or the use of large, integrated software engineering environments that include simple pattern-based query processors in their tool-kits. We present a framework in which pattern languages are used to specify interesting code features. The pattern languages are derived by extending the source programming language with pattern-matching symbols. We describe SCRUPLE, a finite state machine-based source code search tool, that efficiently implements this framework. We also present experimental performance results obtained from a SCRUPLE prototype, and the user interface of a source code browser built on top of SCRUPLE.

关键词： REVERSE engineering software MAINTENANCE software REengineering PROGRAM UNDERSTANDING PATTERN MATCHING QUERY LANGUAGE

来源：评论

学校读者我要写书评

暂无评论

Support for the file system security requirements of computational e-mail systems 94

Support for the file system security requirements of computa...

引用

Proceedings of the 2nd ACM Conference on computer and Communications Security

作者： Jaeger, Trent Prakash, Atul Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897917322

Computational e-mail systems, which allow mail messages to contain command scripts that automatically execute upon receipt, can be used as a basis for building a variety of collaborative applications. However, their use also presents a serious security problem because a command script from a sender may access/modify receiver's private files or execute applications on receiver's behalf. Existing solutions to the problem either severely restrict I/O capability of scripts, limiting the range of applications that can be supported over computational e-mail, or permit all I/O to scripts, potentially compromising the security of the receiver's files. Our model, called the intersection model of security, permits I/O for e-mail from trusted senders but without compromising the security of private files. We describe two implementations of our security model: an interpreter-level implementation and an operating systems-level implementation. We discuss the tradeoffs between the two implementations and suggest directions for future work.

关键词： file systems security computer-supported cooperative work active email groupware collaboration technology computational email

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：