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

IEEE International Conference on engineering of Complex computer systems

作者： S.H. Houmb G. Georg R. France J. Bieman J. Jurjens Department of Computer Science Norwegian University of Science and Technology Trondheim Norway Software Assurance Laboratory Department of Computer Science Colorado State University Fort Collins CO USA Systems Engineering Technical University Munich Munchen Germany

Security critical systems must perform at the required security level, make effective use of available resources, and meet end-users expectations. Balancing these needs, and at the same time fulfilling budget and time-to-market constraints, requires developers to design and evaluate alternative security treatment strategies. In this paper, the authors presented a development framework that utilizes Bayesian belief networks (BBN) and aspect-oriented modeling (AOM) for a cost-benefit trade-off analysis of treatment strategies. AOM allows developers to model pervasive security treatments separately from other system functionality. This eases the trade-off by making it possible to swap treatment strategies in and out when computing return on security investments (RoSI). The trade-off analysis is implemented using BBN, and RoSI is computed by estimating a set of variables describing properties of a treatment strategy. RoSI for each treatment strategy is then used as input to choice of design.

关键词： Risk analysis Information security Topology Bayesian methods computer science computer security Investments Data security Unified modeling language software performance

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

2005 14TH IEEE-NPSS Real Time Conference

作者： Haney, Michael J. Ahuja, Shikha Bapty, Ted Cheung, Harry Kalbarczyk, Zbigniew Khanna, Akhilesh Kowalkowski, Jim Messie, Derek Mossé, Daniel Neema, Sandeep Nordstrom, Steve Oh, Jae Sheldon, Paul Shetty, Shweta Volper, Dmitri Wang, Long Yao, Di IEEE High Energy Physics University of Illinois 1110 W. Green Street Urbana IL 61801 United States Institute for Software Integrated Systems Vanderbilt University Nashville TN 37235 United States Fermi National Accelerator Laboratory Batavia IL 60510 United States Electrical and Computer Science University of Illinois Urbana IL 61801 United States Electrical Engineering and Computer Science Syracuse University Syracuse NY 13244 United States Computer Science University of Pittsburgh Pittsburgh PA 15250 United States Physics and Astronomy Department Vanderbilt University Nashville TN 37235 United States

ISBN: (纸本)0780391837

The Real Time Embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm;a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems. ©2005 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

IEEE NPSS Conference on Real Time

作者： M.J. Haney S. Ahuja G. Bapty H. Cheung Z. Kalbarczyk A. Khanna J. Kowalkowski D. Messie D. Mosse S. Neema S. Nordstrom Jae Oh P. Sheldon S. Shetty D. Volper Long Wang Di Yao High Energy Physics University of Illinois Urbana IL USA Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Fenni National Accelerator Laboratory Batavia IL USA Electrical and Computer Science University of Illinois Urbana IL USA Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Computer Science University of Pittsburgh Pittsburgh PA USA Physics and Astronomy Department Vanderbilt University Nashville TN USA

The real time embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm; a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems

关键词： USA Councils Real time systems Physics computing Runtime computer science Embedded system Domain specific languages Embedded computing Prototypes Fault detection

来源：评论

学校读者我要写书评

暂无评论

A Feedback-Based Web Search Engine

引用

Wuhan University Journal of Natural Sciences 2004年第5期9卷 561-568页

作者： ZHANG Wei-feng 1,2,3 , XU Bao-wen 2,3,4 , ZHOU Xiao-yu 2,3,4 1. Department of computer Science and engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, Jiangsu, China 2. Department of computer Science and engineering, Southeast University, Nanjing 210096, Jiangsu, China 3. Jiangsu Institute of software quality, Nanjing 210096 Jiangsu, China 4. The State Key laboratory of software engineering, Wuhan University, Wuhan 430072, Hubei, China Department of Computer Science and Engineering Nanjing University of Posts and Telecommunications Nanjing Jiangsu China Department of Computer Science and Engineering Southeast University Najing Jiangsu China Jiangsu Institute of Software Quality Nanjing Jiangsu China The State Key Laboratory of Software Engineering Wuhan University Wuhan Hubei China

Web search engines are very useful information service tools in the Internet. The current web search engines produce search results relating to the search terms and the actual information collected by them. Since the selections of the search results cannot affect the future ones, they may not cover most people’s interests. In this paper, feedback information produced by the user’s accessing lists will be represented by the rough set and can reconstruct the query string and influence the search results. And thus the search engines can provide self-adaptability. Key words WWW - search engine - query reconstruction - feedback CLC number TP 311. 135.4 Foundation item: Supported by the National Natural Science Fundation of China (60373066). National Grand Fundamental Research 973 Program of China (2002CB31200). Opening Foundation of State Key laboratory of software engineering in Wuhan University, Opening Foundation of Jiangsu Key laboratory of computer Information Processing Technology in Soochow University Biography: ZHANG Wei-feng (1975-), male, Ph.D. research direction: artificial intelligence, search engine, data mining, network language.

关键词： WWW search engine query reconstruction feedback

来源：评论

学校读者我要写书评

暂无评论

Enabling collaborative adaptation across legacy components

Enabling collaborative adaptation across legacy components

引用

3rd Workshop on Adaptive and Reflective Middleware, ARM '04

作者： Yang, Z. Zhou, Z. Cheng, B.H.C. McKinley, P.K. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)1581139497

software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adaptation. Composing a single adaptive system from existing adaptive components requires an "adaptation infrastructure" to integrate and arbitrate adaptive behaviors. This paper proposes a model for such an infrastructure and describes the design and operation of M2, a prototype implementation. M2 uses a technique called transparent shaping to modify existing components so that they can report events of interest to the M2 core and implement appropriate responses. The architecture and communication infrastructure of M2 are described, followed by a case study in which M2 is used to construct an adaptive multimedia conferencing application from otherwise incompatible components. Copyright 2004 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using simulation to empirically investigate test coverage criteria based on statechart 04

Using simulation to empirically investigate test coverage cr...

引用

International Conference on software engineering (ICSE)

作者： L.C. Briand Y. Labiche Y. Wang Software Quality Engineering Laboratory Systems and Computer Engineering Carleton University Ottawa ONT Canada

ISBN: (纸本)9780769521633

A number of testing strategies have been proposed using state machines and statecharts as test models in order to derive test sequences and validate classes or class clusters. Though such criteria have the advantage of being systematic, little is known on how cost effective they are and how they compare to each other. This article presents a precise simulation and analysis procedure to analyze the cost-effectiveness of statechart-based testing techniques. We then investigate, using this procedure, the cost and fault detection effectiveness of adequate test sets for the most referenced coverage criteria for statecharts on three different representative case studies. Through the analysis of common results and differences across studies, we attempt to draw more general conclusions regarding the costs and benefits of using the criteria under investigation.

关键词： Costs System testing software testing Fault detection Analytical models Performance analysis Computational modeling software quality Laboratories systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Predictors of success in diagrammatic problem solving

Predictors of success in diagrammatic problem solving

引用

3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004

作者： Yoon, Daesub Narayanan, N. Hari Intelligent and Interactive Systems Laboratory Department of Computer Science and Software Engineering Auburn University AuburnAL36849 United States

ISBN: (纸本)354021268X

We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected and analyzed for 72 problem-solving episodes (9 subjects solving 8 problems each). Results indicate that longer response times and visually attending to more components of a device do not necessarily lead to increased accuracy. However, more focus shifts, visually attending to components in the order of causal propagation, and longer durations of visual attention allocated to critical components of the devices appear to be characteristics that separate successful problem solvers from unsuccessful ones. These findings throw light on effective diagrammatic reasoning strategies, provide empirical support to a cognitive model of comprehension, and suggest ideas for the design of information displays that support causal reasoning. © 2004, Springer-Verlag Berlin Heidelberg, All rights Reserved.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

Transformations for write-all-with-collision model

引用

7th International Conference on Principles of Distributed systems, OPODIS 2003

作者： Kulkarni, Sandeep S. Arumugam, Mahesh Umamaheswaran Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East LansingMI48824 United States

ISBN: (纸本)3540226672

In this paper, we consider a new atomicity model, write all with collision (WAC), and compare it with existing models considered in the literature. This model captures the computations in sensor networks. We show that it is possible to transform a program from WAC model into a program in read/write model, and vice versa. Further, we show that the transformation from WAC model to read/write model is stabilization preserving, and the transformation from read/write model to WAC model is stabilization preserving for timed systems. In the transformation from read/write model to WAC model, if the system is untimed (asynchronous) and processes are deterministic then under reasonable assumptions, we show that (1) the resulting program in WAC model can allow at most one process to execute, and (2) the resulting program in WAC model cannot be stabilizing. In other words, if a deterministic program cannot read then it is important that it can tell time. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Understanding the behavior and performance of non-blocking communications in MPI

引用

10th International European Conference on Parallel Processing, Euro-Par 2004

作者： Saif, Taher Parashar, Manish The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University PiscatawayNJ08854 United States

ISBN: (纸本)3540229248

The behavior and performance of MPI non-blocking message passing operations are sensitive to implementation specifics as they are heavily dependant on available system level buffers. In this paper we investigate the behavior of non-blocking communication primitives provided by popular MPI implementations and propose strategies for these primitives than can reduce processor synchronization overheads. We also demonstrate the improvements in the performance of a parallel Structured Adaptive Mesh Refinement (SAMR) application using these strategies. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Modular monadic program slicing

Modular monadic program slicing

引用

Proceedings of the 28th Annual International computer software and Applications Conference, COMPSAC 2004

作者： Zhang, Yingzhou Xu, Baowen Shi, Liang Li, Bixin Yang, Hongji Jiangsu Institute of Software Quality Nanjing 210096 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China School of Computing De Montfort University United Kingdom Department of Computer Science and Engineering Southeast University Nanjing 210096 China

Program slicing is widely used in applications such as program comprehension, software testing, debugging, measurement, and re-engineering. This paper proposes a new approach for program slicing, called modular monadic slicing, basing on modular monadic semantics of the program analysed. We abstract the computation of program slicing as a language-independence entity: slice monad transformer. On the basis of this, we present and illustrate modular monadic dynamic and static slice algorithm in detail. We conclude that modular monadic slicing has excellent flexibility and reusability properties comparing with the existing program slicing algorithms. It computes program slices on abstract syntax directly without intermediate structures such as dependence graphs. © 2004 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：