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

Royal Academy of Medicine in Ireland - Section of Bioengineering - Proceedings of meeting held in Dundalk, Co. Louth, in February 1998.

引用

IRISH JOURNAL OF MEDICAL science 1998年第4期167卷 256-276页

作者： [Anonymous] Orthopaedic Research Unit The Queen’s University of Belfast School of Biomedical Sciences The Queen’s University of Belfast Howmedica International Ltd. Raheen Industrial Estate Limerick Department of Mechanical Engineering Trinity College Dublin 2 Mater Hospital Dublin 7 Orthopaedic Research Laboratory Århus University Hospital Denmark University of Limerick Limerick Limerick Regional Hospital Raheen Limerick Boston Scientific Ireland Ltd. Galway Department of Mechanical Engineering University College Dublin Dublin Department of Electrical and Electronic Engineering University College Dublin Dublin Bioengineering Research Centre Department of Mechanical Engineering University College Dublin Dublin Northern Ireland Bio-Engineering Centre (NIBEC) School of Electrical and Mechanical Engineering University of Ulster Newtownabbey Department of Mechanical & Manufacturing Engineering The Ashby Building The Queen’s University of Belfast Johnson and Johnson Professional Orthopaedic Division Queensway England Department of Cardiology and Department of Medical Physics & Bioengineering St. James’s Hospital Dublin 8 Burke House Ellison Street Castlebar Royal College of Surgeons in Ireland Department of Surgery Beaumont Hospital Dublin Department of Electronic and Electrical Engineering Trinity College Dublin 2 Department of Aeronautical Engineering The Queen’s University of Belfast Vascular Unit Belfast City Hospital Department of Medical Physics and Bioengineering St. James’s Hospital Dublin 8 Centre for Biomedical Electronics Department of Electronic and Computer Engineering University of Limerick Limerick Department of Mechanical and Aeronautical Engineering University of Limerick Limerick School of Health Sciences University of Ulster Ireland School of Physiotherapy University of Ulster Newtownabbey Clinical Engineering NI Medical Physics Agency Belfast and Radiology Royal Victoria Hospital Musgrave Park Hospital University of Limerick Biomedical Institute (ULBMI) Uni

来源：评论

学校读者我要写书评

暂无评论

Incremental delivery reduces maintenance cost: a COCOMO-based study

引用

Journal of software: Evolution and Process 1998年第4期10卷

作者： Pei Hsia Chih-Tung Hsu David Chenho Kung Eric J. Byrne Software Engineering Center for Telecommunication Department of Computer Science and Engineering The University of Texas at Arlington Box 19015 Arlington TX 76019–0015 U.S.A.

Incremental delivery (ID) is a software development paradigm which advocates that systems be delivered to end users in usable, useful and semi-independent increments. ID differs from the traditional development paradigm, which we call monolithic delivery (MD), in which a software system is considered as a monolithic, inseparable whole delivered as one unit. The purpose of this study is to compare the ID and MD approaches in terms of their maintenance efforts through an analytical parametric study. The results of the study provide insight into how incremental delivery can be employed to reduce software maintenance effort. © 1998 John Wiley & Sons, Ltd.

关键词： incremental development incremental delivery software maintenance COCOMO model cost estimation

来源：评论

学校读者我要写书评

暂无评论

Desert Island Column

引用

Automated software engineering 1997年第2期4卷 243-245页

作者： Pfleeger, Shari Lawrence Center for Research in Evaluating Software Technology (CREST) Department of Systems and Computer Science School of Engineering Howard University Washington USA

来源：评论

学校读者我要写书评

暂无评论

Constrained multipoint aerodynamic shape optimization using an adjoint formulation and parallel computers 35th

Constrained multipoint aerodynamic shape optimization using ...

引用

35th Aerospace sciences Meeting and Exhibit, 1997

作者： Reuther, J. Jameson, A. Alonso, J.J. Rimlinger, M.J. Saunders, D. Research Institute for Advanced Computer Science NASA Ames Research Center MS 227-6 Moffett FieldCA94035 United States Department of Mechanical and Aerospace Engineering Princeton University PrincetonNJ08544 United States Sterling Software NASA Ames Research Center MS 227-6 Moffett FieldCA94035 United States

An aerodynamic shape optimization method that treats the design of complex aircraft configurations subject to high fidelity computational fluid dynamics (CFD), geometric constraints and multiple design points is described. The design process will be greatly accelerated through the use of both control theory and distributed memory computer architectures. Control theory is employed to derive the adjoint differential equations whose solution allows for the evaluation of design gradient information at a fraction of the computational cost required by previous design methods [5, 4, 24, 18]. The resulting problem is implemented on parallel distributed memory architectures using a domain decomposition approach, an optimized communication schedule, and the MPI (Message Passing Interface) standard for portability and efficiency. The final result achieves very rapid aerodynamic design based on a higher order CFD method. In order to facilitate the integration of these high fidelity CFD approaches into future multi-disciplinary optimization (MDO) applications, new methods must be developed which are capable of simultaniously addressing complex geometries, multiple objective functions, and geometric design constraints. In our earlier studies [8,9,10,11, 19,15, 20,21,22, 23,1], we coupled the adjoint based design formulations with unconstrained optimization algorithms and showed that the approach was effective for the aerodynamic design of airfoils, wings, wing-bodies, and complex aircraft configurations. In many of the results presented in these earlier works, geometric constraints were satisfied either by a projection into feasible space or by posing the design space parameterization such that it automatically satisfied constraints. Furthermore, with the exception of reference [9] where the second author initially explored the use of multipoint design in conjunction with adjoint formulations, our earlier works have focused on single point design efforts. Here we demonstrate that

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Model-checking of real-time systems: A telecommunications application - Experience report 97

Model-checking of real-time systems: A telecommunications ap...

引用

19th International Conference on software engineering (ICSE 97) - Pulling Together

作者： Alur, R Jagadeesan, LJ Kott, JJ VonOlnhausen, JE Computing Sciences Research Center Bell Laboratories and Department of Electrical Engineering & Computer Science University of California Berkeley CA Software Production Research Department Bell Laboratories 1000 E. Warrenville Rd. Naperville IL Network Systems Platform Development Lucent Technologies 1200 E. Warrenville Rd. Naperville IL

ISBN: (纸本)0897919149

We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system. We use two tools: COSPAN for checking real-time properties, and TPWB for checking probabilistic specifications. We report on the feedback given by the tools, and based on our experience, discuss the advantages and the limitations of the approach used.

关键词： telecommunications software formal methods model checking real-time verification probabilistic verification

来源：评论

学校读者我要写书评

暂无评论

Model-Checking of Real-Time Systems: A Telecommunications Application Experience Report

Model-Checking of Real-Time Systems: A Telecommunications Ap...

引用

International Conference on software engineering (ICSE)

作者： R. Alur L. Jategaonkar Jagadeesan J.J. Kott J.E. von Olnhausen Computing Science Research Center Bell Laboratories and Department of Electrical Engineering & Computer Science University of California Berkeley CA USA Software Production Research Department Bell Laboratories Naperville IL USA Network Systems Platform Development Lucent Technologies Inc. Naperville IL USA

来源：评论

学校读者我要写书评

暂无评论

A unified framework for enforcing multiple access control policies 97

A unified framework for enforcing multiple access control po...

引用

Proceedings of the 1997 ACM SIGMOD international conference on Management of data

作者： Sushil Jajodia Pierangela Samarati V. S. Subrahmanian Eliza Bertino Center for Secure Information Systems and Department of Information and Software Systems Engineering George Mason University Fairfax VA Dipartimento di Scienze dell'Informazione Università di Milano 20135 Milano Italy Department of Computer Science University of Maryland College Park MD

ISBN: (纸本)9780897919111

Although several access control policies can be devised for controlling access to information, all existing authorization models, and the corresponding enforcement mechanisms, are based on a specific policy (usually the closed policy). As a consequence, although different policy choices are possible in theory, in practice only a specific policy can be actually applied within a given system. However, protection requirements within a system can vary dramatically, and no single policy may simultaneously satisfy them *** this paper we present a flexible authorization manager (FAM) that can enforce multiple access control policies within a single, unified system. FAM is based on a language through which users can specify authorizations and access control policies to be applied in controlling execution of specific actions on given objects. We formally define the language and properties required to hold on the security specifications and prove that this language can express all security specifications. Furthermore, we show that all programs expressed in this language (called FAM/CAM-programs) are also guaranteed to be consistent (i.e., no conflicting access decisions occur) and CAM-programs are complete (i.e., every access is either authorized or denied). We then illustrate how several well-known protection policies proposed in the literature can be expressed in the FAM/CAM language and how users can customize the access control by specifying their own policies. The result is an access control mechanism which is flexible, since different access control policies can all coexist in the same data system, and extensible, since it can be augmented with any new policy a specific application or user may require.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A new approach to software tool interoperability 96

A new approach to software tool interoperability

引用

1996 ACM Symposium on Applied Computing, SAC 1996

作者： Bao, Yimin Horowitz, Ellisssssss Center for Software Engineering Computer Science Department University of Southern California Los AngelesCA90089 United States

ISBN: (纸本)0897918207

Most of the existing interoperability solutions access the functionality of tools through APIs, message interfaces, and command-line options. The inadequacy of those interfaces and lack of access to the source code of tools make it very difficult for users to create sophisticated interoperability solutions. Furthermore these solutions tend to hardwire the policy and behavior of the integration inside the tools, that is, the policy is mixed with the mechanism. Thus when the system evolves and the integration requirements change, major modifications to the integrated system have to be performed to meet the new requirements. This paper presents a flexible integration approach which overcomes the problems mentioned above and offers a new way to solve the interoperability problem. The solution is based upon accessing the tools through their user interface. Thus no additional effort on the part of the developer of the tool is required. The paper describes the design and implementation of Tool Integration Language (TIL) which provides flexible integration mechanism for our approach. By using TIL to model the relationships between tools, our approach provides the capability for users to dynamically bind the relationship, making it possible to change the way tools interact with each other dynamically, thus providing strong support for system evolution. © 1996 ACM.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Integrating through user interface: a flexible integration framework for third-party software

Integrating through user interface: a flexible integration f...

引用

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： Yimin Bao E. Horowitz Center for Software Engineering & Computer Science Department University of Southern California Los Angeles CA USA

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.

关键词： User interfaces Application software software reusability Programming Encapsulation software maintenance computer architecture software engineering computer science Costs

来源：评论

学校读者我要写书评

暂无评论

Identifying quality-requirement conflicts

Identifying quality-requirement conflicts

引用

IEEE International Conference on Requirements engineering

作者： B. Boehm H. In Computer Science Department and Center for Software Engineering University of Southern California Los Angeles CA USA

One of the biggest risks in software requirements engineering is the risk of overemphasizing one quality attribute requirement (e.g., performance) at the expense of others at least as important (e.g., evolvability and portability). The paper describes an exploratory knowledge based tool for identifying potential conflicts among quality attributes early in the software/ system life cycle. The Quality Attribute Risk and Conflict Consultant (QARCC) examines the quality attribute tradeoffs involved in software architecture and process strategies. It operates in the context of the USC CSE WinWin system, a groupware support system for determining software and system requirements as negotiated win conditions. We have developed and experimented with an initial QARCC 1 prototype. We are using the results of the experiment to develop an improved QARCC 2 tool. From our initial experimentation, we concluded that QARCC can alert users, developers, customers, and other stakeholders to conflicts among their software quality requirements and can help them identify additional, potentially important quality requirements. We also concluded that QARCC needs further refinement to avoid overloading users with insignificant quality conflict suggestions. We are now refining the knowledge base to address more detailed quality attributes in a more selective fashion.

关键词： software quality software engineering software systems Collaborative software Taxonomy computer science software performance software tools software architecture computer architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：