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

Proceedings Second International Workshop on software and Performance WOSP2000

作者： Gomaa, Hassan Menascé, Daniel A. Dept. of Info./Software Engineering Sch. of Info. Technol./Engineering George Mason University 4400 University Drive Fairfax VA 220300-4444 United States Dept. of Computer Science Sch. of Info. Technol./Engineering George Mason University 4400 University Drive Fairfax VA 220300-4444 United States

ISBN: (纸本)158113195X

The ability to estimate the future performance of a large and complex distributed software system at design time, and iteratively refine these estimates at development time, can significantly reduce overall software cost and risk. This paper investigates component interconnection in client/server systems, in particular the design and performance modeling of component interconnection patterns, which define and encapsulate the way client and server components communicate with each other. We start with UML design models of the component interconnection patterns. These designs are performance annotated using an XML-type notation. The performance-annotated UML design model is mapped to a performance model, which allows us to analyze the performance of the software architecture executing on various system configurations.

关键词： computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Configuring Role-Based Access Control to Enforce Mandatory and Discretionary Access Control Policies

引用

ACM Transactions on Information and System Security 2000年第2期3卷 85-106页

作者： Osborn, Sylvia Sandhu, Ravi Munawer, Qamar Dept. of Computer Science The University of Western Ontario London ON N6A 5B7 Canada Laboratory for Information Security Technology MS4A4 Information and Software Engineering Department George Mason University Fairfax VA 22030 United States

Access control models have traditionally included mandatory access control (or lattice-based access control) and discretionary access control. Subsequently, role-based access control has been introduced, along with claims that its mechanisms are general enough to simulate the traditional methods. In this paper we provide systematic constructions for various common forms of both of the traditional access control paradigms using the role-based access control (RBAC) models of Sandhu et al., commonly called RBAC96. We see that all of the features of the RBAC96 model are required, and that although for the mandatory access control simulation, only one administrative role needs to be assumed, for the discretionary access control simulations, a complex set of administrative roles is required. © 2000, ACM. All rights reserved.

关键词： discretionary access control lattice-based access control Management mandatory access control Role-based access control Security

来源：评论

学校读者我要写书评

暂无评论

Size versus robustness in evolved sorting networks: is bigger better?

Size versus robustness in evolved sorting networks: is bigge...

引用

NASA/DoD Workshop on Evolvable Hardware

作者： J. Masner J. Cavalieri J.F. Frenzel J. Foster Center for Secure and Dependable Software Dept. of Computer Science University of Idaho Dept. of Electrical Engineering Micro electronics Research and Communications Institute University of Idaho

We are interested in discovering how and why circuits developed using evolutionary methods tend to be more robust than hand designed ones. To this end, we compare evolved circuits to known, minimal sorting networks. We introduce a new, size-independent metric, called bitwise stability (BS), which measures how well a network performed when subjected to real-world types of errors. In particular, we examine stuck-on-one, stuck-on-zero and passthrough errors, a generalization of a short circuit. Networks were evolved using tree structured and linear encoded chromosomes. We found that evolution improves bitwise stability and that tree structures tend to confer more bitwise stability than linear structured chromosomes. We discuss how the size of a sorting network affects its robustness and our discovery that bigger does not necessarily mean better.

关键词： Robustness Intelligent networks Sorting Hardware computer science Circuit stability Biological cells Encoding Microelectronics Circuit faults

来源：评论

学校读者我要写书评

暂无评论

Special purpose image convolution with evolvable hardware

引用

EvoWorkshops 2000: 2nd European Workshop on Evolutionary Computation in Image Analysis and Signal Processing, EvoIASP 2000, 1st European Workshop on Evolutionary Computation in Systems, Control and Drives in Industry, Evo-SCONDI 2000, 2nd European Workshop on Evolutionary Telecommunications, EvoTel 2000, 1st European Workshop on Evolutionary Scheduling and Timetabling, EvoStim 2000, 3rd European Workshop on Evolutionary Robotics, EvoRob 2000 and 1st European Workshop on Evolutionary Aeronautics, EvoFlight 2000 held in conjunction with European Conference on Genetic Programming, EuroGP 2000 and 3rd International Conference on Evolvable Systems, ICES 2000

作者： Dumoulin, Joe Foster, James A. Frenzel, James F. McGrew, Steve New Light Industries Ltd SpokaneWA United States Center for Secure and Dependable Software U. Idaho MoscowID United States Microelectronics Research and Communications Inst U. Idaho MoscowID United States Dept. of Computer Science U. Idaho MoscowID United States Dept. of Electrical and Computer Engineering U. Idaho MoscowID United States

ISBN: (纸本)3540673539

In this paper, we investigate a unique method of inventing linear edge enhancement operators using evolution and reconfigurable hardware. We show that the technique is motivated by the desire for a totally automated object recognition system. We show that an important step in automating object recognition is to provide flexible means to smooth images, making features more obvious and reducing interference. Next we demonstrate a technique for building an edge enhancement operator using evolutionary methods, implementing and testing each generation using the Xilinx 6200 family FPGA. Finally, we present the results and conclude by mentioning some areas of further investigation. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

引用

Electronic Notes in Theoretical computer Science 2000年第2期30卷 157-162页

作者： Michael Leuschel Jesper Jørgensen Declarative Systems and Software Engineering Dept. of Electronics and Computer Science University of Southampton Southampton SO17 1BJ UK Dept. of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40 DK-1871 Frederiksberg C Denmark

The so called “ cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we have shown that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. In this paper we extend upon this by allowing partially instantiated datastructures (via binding types), which are especially important in the context of logic programming. We also extend cogen to directly support a large part of Prolog's declarative and non-declarative features and how semi-online specialisation can be efficiently integrated. Benchmarks show that the resulting cogen is very efficient, generates very efficient generating extensions (executing up to several orders of magnitude faster than current online systems) which in turn perform very good and non-trivial specialisation, even rivalling existing online systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of VoD server by using clustered file system

Design and implementation of VoD server by using clustered f...

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： Chang-Soon Park Mann-Ho Lee Young-Sung Son Oh-Young Kwon Dept. of Software Eng. ETRI Taejon South Korea Department of Computer Science Chungnam National University Taejon South Korea Software Engineering Department Electronics and Telecommunications Research Institute Taejon South Korea Department of Computer Engineering Korea University of Technology and Education ChungNam South Korea

We introduce the CROWN (Clustering Resources on Workstation Network) system that consists of several PCs interconnected with the Myrinet. In order to provide multimedia-on-demand services, especially VoD, we have developed CrownFS as a continuous media file system over the Linux operating system. CrownFS is a user level file system. Because the clustering technology is based on off-the-shelf commodities, user-level design and implementation can be natural in a clustering system and has a great benefit in portability. The architecture of CrownFS and its usage for VoD service are presented. Field test results show that a prototype CrownFS VoD server with four nodes can provide 150 MPEG-1 streams concurrently. CrownFS can also be extended to support a discrete media file system and to provide over a thousand multimedia streams.

关键词： File servers Streaming media File systems Network servers Workstations Personal communication networks Linux Operating systems Testing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Tightly coupling authoring and evaluation in an integrated tool to support iterative design of interactive hypermedia educational manuals 00

Tightly coupling authoring and evaluation in an integrated t...

引用

Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques

作者： Selma Holmquist N. Hari Narayanan Departamento de Cálculo Facultad de Ingeniería Universidad de Los Andes Mérida Venezuela Intelligent & Interactive Systems Laboratory Dept. of Computer Science & Software Engineering Auburn University Auburn AL

ISBN: (纸本)9781581132199

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a *** this paper we present a framework for the iterative design of interactive Hypermedia Educational Manuals, implemented in a software tool that integrates authoring and evaluation support in order to speed up iterative design cycles. Two unique features of our approach are the automatic generation of a structural description of the manual being designed and the automatic incorporation of interaction data logging elements in the manual during the authoring phase. These are then used by an evaluation tool to generate statistical analyses and graphical presentations of user interactions with the manual and redesign recommendations. Thus, the architecture of this tool embodies a tight coupling between the design of Hypermedia Educational Manuals and the evaluation of their instructional effectiveness. An experiment was carried out in which a prototype manual was created, tested with a group of students, redesigned based on analyses and recommendations provided by the evaluation tool, and then re-evaluated using data from a second group of students. This experiment showed that the integrated tool does help simplify the evaluation process and improve the efficiency of iterative design cycles.

关键词： empirical study interaction data analysis and visualization iterative design tool evaluation hypermedia authoring

来源：评论

学校读者我要写书评

暂无评论

Shared memory multistage clustering structure, an efficient structure for massively parallel processing systems

Shared memory multistage clustering structure, an efficient ...

引用

International Conference on High Performance Computing in the Asia-Pacific Region

作者： H.S. Shahhoseini M. Naderi R. Buyya Dept. of Electr. Eng. Iran Univ. of Sci. & Technol. Tehran Iran Electrical Engineering Department Iran University of Science and Technology Narmak Iran School of Computer Science and Software Engineering Monash University Melbourne Australia

A novel structure is proposed for massive parallel processing systems. This structure is expandable in a vertical and horizontal manner and covers many of the previous computer designs. Queuing theory and the Jackson queuing network are applied for constructing an analytical model for the proposed structure. This model gives a closed-form solution for the system performance metrics, such as processor waiting time, system processing power, and so on. Two novel points in development of these analytical models are: application of open queuing network rules for analyzing a closed queuing network, and calculation of the input rate of each service center as a function of the input rate for the previous center. The model can be used for evaluating the MPP system or optimizing its specification on design space.

关键词： Queueing analysis Analytical models Parallel processing Power system modeling Multiprocessor interconnection networks Communication networks computer science software engineering Power engineering computing Closed-form solution

来源：评论

学校读者我要写书评

暂无评论

Measure-driven

引用

Journal of software Maintenance and Evolution 2000年第1期12卷 47-78页

作者： Cantone, Giovanni Dept. Info. Syst. Prod. Mgmt. Eng. University of Rome at Tor Vergata Roma Italy Dept. Info. Syst. Prod. Mgmt. Eng. University of Rome at Tor Vergata S.N.C. Roma Italy Department of Computer Science Dept. Info. Syst. and Prod. Mgmt. Faculty of Engineering Italy Scientific-Technical Committee Admin. and Docum. Computing Center University of Rome at Tor Vergata Roma Italy University of Naples University of Maryland Italy Intl. Software Eng. Research Network Italy UMD Exp. Software Engineering Group Italy Ital. Assoc. Info. Automat. Comp. Italy Faculty of Engineering University of Naples Italy

This paper reports on an on-going project undertaken within the University of Rome at Tor Vergata to automate the business processes of a class of administrative organizations. The experience gained and the lessons learned, while performing in the role of Innovation-driver, are abstracted and presented. In the context of this experience with process re-engineering, the paper compares the utility of empirically investigating software technology transfer with the reuse of technology measurement models possibly available. The paper also discusses the roles played by various environmental factors - technology, experimentation and measurements, an organization's business objectives, and other organizational issues, including the expected benefits and costs - in the empirical investigation of software technology transfer. The paper concludes by presenting a short case study and three lessons learned. Copyright © 2000 John Wiley and Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CSE Special Australasian Issue—Guest Editorial

引用

computer Science Education 2000年第2期10卷 107页

作者： John Fulcher David Carrington School IT and Computer Science and Intelligent Systems Research Group University of Wollongong NSW 2522 Australia Dept. Computer Science and Electrical Engineering and Software Verification Research Centre University of Queensland QLD 4072 Australia

Click to increase image sizeClick to decrease image size

关键词： computer science PROBLEM-based learning NEURAL networks (computer science) HIGHER education

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：