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

Beyond Program Slicing 2005

作者： Black, Sue Counsell, Steve Hall, Tracy Wernick, Paul Centre for Systems and Software Engineering London South Bank University 103 Borough Road LondonSE1 0AA United Kingdom Department of Information Systems and Computing Brunel University Middlesex UxbridgeUB8 3PH United Kingdom School of Computer Science University of Hertfordshire Herts Hatfield United Kingdom

This study explores the relationship between program slices and faults. The aim is to investigate whether the characteristics of program slices can be used to identify faultprone software components. Slicing metrics and dependence clusters are used to characterise the slicing profile of a software component, then the relationship between the slicing profile of the component and the faults in that component are then analysed. Faults can increase the likelihood of a system becoming unstable causing problems for the development and evolution of the system. Identifying faultprone components is difficult and reliable predictors of fault-proneness not easily identifiable. Program slicing is an established software engineering technique for the detection and correction of specific faults. An investigation is carried out into whether the use of program slicing can be extended as a reliable tool to predict fault-prone software components. Preliminary results are promising suggesting that slicing may offer valuable insights into fault-proneness. © 2006 Dagstuhl Seminar Proceedings. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simplification and analysis of transitive trust networks

引用

Web Intelligence and Agent systems 2006年第2期4卷 139-161页

作者： Jøsang, Audun Gray, Elizabeth Kinateder, Michael School of Software Engineering and Data Communications Queensland University of Technology Australia Computer Science Department Trinity College Dublin Ireland Institute of Parallel and Distributed Systems Faculty of Computer Science University of Stuttgart Germany

When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, organisations and software agents can derive trust in other parties requires computerised analysis of the underlying trust networks. This article describes an approach to trust network analysis using subjective logic (TNA-SL), that consists of the three following elements. Firstly it uses a concise notation with which trust transitivity and parallel combination of trust paths can be expressed. Secondly it defines a method for simplifying complex trust networks so that they can be expressed in this concise form. Finally it allows trust measures to be expressed as beliefs, so that derived trust can be automatically and securely computed with subjective logic. We compare our approach with trust derivation algorithms that are based on normalisation such as PageRank and EigenTrust. We also provide a numerical example to illustrates how TNA-SL can be applied. © 2006 - IOS Press and the authors. All rights reserved.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

A Unified Ontology-Based Process Model for software Maintenance and Comprehension 06

A Unified Ontology-Based Process Model for Software Maintena...

引用

Workshop and Symposia at MoDELS 2006

作者： Juergen Rilling Yonggang Zhang Wen Jun Meng René Witte Volker Haarslev Philippe Charland Department of Computer Science and Software Engineering Concordia University Montreal Canada System of Systems Section Defence R&D Canada Valcartier Canada

ISBN: (纸本)9783540694885

In this paper, we present a formal process model to support the comprehension and maintenance of software systems. The model provides a formal ontological representation that supports the use of reasoning services across different knowledge resources. In the presented approach, we employ our Description Logic knowledge base to support the maintenance process management, as well as detailed analyses among resources, e.g., the traceability between various software artifacts. The resulting unified process model provides users with active guidance in selecting and utilizing these resources that are context-sensitive to a particular comprehension task. We illustrate both, the technical foundation based on our existing SOUND environment, as well as the general objectives and goals of our process model.

关键词： software maintenance process modeling ontological reasoning software comprehension traceability text mining

来源：评论

学校读者我要写书评

暂无评论

A Context-Driven software Comprehension Process Model

A Context-Driven Software Comprehension Process Model

引用

International IEEE Workshop on software Evolvability

作者： Wen Jun Meng Juergen Rilling Yonggang Zhang Rene Witte Sudhir Mudur Philippe Charland Department of Computer Science and Software Engineering Concordia University Montreal Canada System of Systems Section Defence Research and Development Canada Val-Belair QUE Canada

ISBN: (纸本)9780769526980;0769526980

Comprehension is an essential part of software evolution. Only software that is well understood can evolve in a controlled manner. In this paper, we present a formal process model to support the comprehension of software systems by using ontology and description logic. This formal representation supports the use of reasoning services across different knowledge resources and therefore, enables us to provide users with guidance during the comprehension process that is context sensitive to their particular comprehension task. As part of the process model, we also adopt a new interactive story metaphor, to represent the interactions between users and the comprehension process

关键词： Context modeling Ontologies Logic software maintenance Information resources computer science software engineering Research and development software systems Context-aware services

来源：评论

学校读者我要写书评

暂无评论

GSAF: A Grid-based Services Transfer Framework

GSAF: A Grid-based Services Transfer Framework

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Jun Tang Chunyan Miao Qifeng Lin Mi Zhang Wei Wang Baile Shi Department of Computing Information and Technology Fudan University China Divisions of Software Systems School of Computer Engineering Nanyang Technological University Singapore E-Business Research Center Software School Fudan University China

In recent years, traditional computing systems face the problems of scalability as the need for information processing services is ever increasing. Grid, as a pool of computing resources, solves the problem in some degree by providing an integrated computing and resources environment. Thus, there emerge many strategies related to grid resource allocation management (GRAM). However, almost all of these strategies focus on how to allocate the existing computing resources but overlook the possibility of controlling these resources. Therefore, services and computing nodes are always tightly coupled. In this paper, we describe a new framework called GSAF (a grid-based services transfer framework) to solve the problem. GSAF binds services and computing nodes dynamically through services migration and service cache to break the tight coupling. The migration of service components to more efficient computing nodes helps balance the processing burden and extends the computing abilities. In our experiment, we provide a prototype application of GSAF in the data mining system to demonstrate it.

关键词： Grid computing Resource management Containers Prototypes Data mining Runtime software systems Face Scalability Information processing

来源：评论

学校读者我要写书评

暂无评论

DaTA -- Data-Transparent Authentication Without Communication Overhead

DaTA -- Data-Transparent Authentication Without Communicatio...

引用

International Conference on Security and Privacy for Emerging Areas in Communications Networks (SecureComm)

作者： Songqing Chen Shiping Chen Xinyuan Wang Sushil Jajodia Department of Computer Science George Mason University USA Center for Secure Information Systems George Mason University USA Department of Information and Software Engineering George Mason University USA

With the development of Internet computing techniques, continuous data streams from remote sites are commonly used in scientific and commercial applications. Correspondingly, there is increasing demand of assuring the integrity and authenticity of received data streams. Existing strategies of assuring data integrity and authenticity mainly use message authentication codes (MAC) generated on data blocks and transfer the MAC to the receiver for authentication through either out of band communication or in band communication. Transferring the MAC via out of band communication inevitably introduces communication overhead and additional complexity to synchronize the out of band communication with the data communication. Transferring the MAC via in band channel can be achieved by either appending the MAC to the original data or embedding the MAC into the original data, which would either incur communication overhead or change the original data. It would be desirable to be able to authenticate the stream data without any communication overhead and changing the original data at the same time. To deal with data packet or block loss, many of existing stream data authentication schemes rely on hash chaining, the current usage of which results in uncertainty in authenticating the subsequent data blocks once the first data packet or block loss is detected. In this paper, we propose a novel application layer authentication strategy called DaTA. This authentication scheme requires no change to the original data and causes no additional communication overhead. In addition, it can continue authenticating the rest of data stream even if some data loss has been detected. Our analysis shows that our authentication scheme is robust against packet loss and network jitter. We have implemented a prototype system to evaluate its performance. Our empirical results show that our proposed scheme is efficient and practical under various network conditions

关键词： Message authentication Internet Streaming media Hurricanes Demand forecasting computer science Information systems software engineering Data communication Propagation losses

来源：评论

学校读者我要写书评

暂无评论

Routing Protocols for an Integrated Cellular and Ad-hoc Network with Flexible Access and Their Overhead Analysis

Routing Protocols for an Integrated Cellular and Ad-hoc Netw...

引用

International Conference on Innovative Computing, Information and Control (ICICIC)

作者： Yumin Wu Kun Yang Shaochun Zhong Wenyong Wang Jun Shen Department of Electronic Systems Engineering University of Essex Colchester UK School of Software Northeast Normal University Changchun China Department of Computer Science Beijing Institute of Technology Beijing China

This paper proposes an adaptive routing protocol called ARFA for an integrated cellular and ad hoc heterogeneous network with flexible access (iCAR-FA). An iCAR-FA system offers a flexible traffic diversion mechanism that allows a mobile host to utilize the bandwidth in another cell, as such easing the congestion problem and increasing the throughput in a cellular network. Based on the presentation of the iCAR-FA physical characteristics, the paper details the design issues and operation of ARFA. Detailed numerical analysis on routing overhead, which is along with some general evaluations, has indicated the effectiveness and efficiency of the ARFA protocol

关键词： Routing protocols Cellular networks Ad hoc networks Telecommunication traffic Land mobile radio cellular systems Bandwidth Numerical analysis Relays Frequency systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Evacuation Planning via Evolutionary Computation

Evacuation Planning via Evolutionary Computation

引用

Congress on Evolutionary Computation

作者： A. Garrett B. Carnahan R. Muhdi J. Davis G. Dozier M.P. SanSoucie P.V. Hull M.L. Tinker Department of Computer Science and Software Engineering Auburn University Auburn AL USA Department of Industrial & Systems Engineering Auburn University Auburn AL USA NASA Marshall Space Flight Center Huntsville AL USA

According to the Life Safety Code reg , the geometry of a building, the location of exits, and the number of exits dictate the means of egress for all people occupying a building. In this paper we show how evolutionary computations in the form of Genetic Algorithms and Estimation of Distribution Algorithms are used to evolve the placement of exits in order to optimize overall evacuation time. In particular, a generational GA, a steady-state GA, and an elitist EDA are used to evolve the placement of exits for two practical design problems. The algorithms are evaluated in terms of success rate, number of function evaluations, and best fitness. For both problems, the steady-state GA outperformed the other algorithms in all evaluation categories.

关键词： Evolutionary computation Safety Electronic design automation and methodology Buildings Humans Genetic algorithms Steady-state Fires NASA Geometry

来源：评论

学校读者我要写书评

暂无评论

engineering reliability into hybrid systems via rich design models: recent results and current directions 06

Engineering reliability into hybrid systems via rich design ...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： S. Banerjee L. Cheung L. Golubchik N. Medvidovic R. Roshandel G. Sukhatme Computer Science Department University of Southern California Los Angeles CA USA Department of Computer Science & Software Engineering Seattle University Seattle WA USA EE-Systems Department IMSC University of Southern California Los Angeles CA USA

ISBN: (纸本)9781424400546

software reliability techniques are aimed at reducing or eliminating failures in software systems. Reliability in software systems has traditionally been measured during or after system implementation. However, software engineering methodology lays stress on doing the "correct things" early on in the software development lifecycle in order to curb development and maintenance costs. In this paper, we argue that reliability of a software system should be assessed throughout the system's life span, starting with the software architecture level. Our research goal is to estimate the reliability of software systems in early design stages, which we believe involves the ability to reason about numerous uncertainties that exist in this stage, including uncertainty due to lack of execution artifacts. Our proposed approach is to develop techniques that will couple software architectural models with a suite of stochastic reliability estimation models and allow us to reason about these uncertainties. In this paper, we present our recent results using our technique for reliability estimation of software components at the level of software architecture. Another important part of this paper is the discussion of our ongoing research efforts and open research problems in this area

关键词： Reliability engineering Design engineering software systems Uncertainty software architecture software reliability software measurement software engineering Stress Programming

来源：评论

学校读者我要写书评

暂无评论

BlueGene/L Failure Analysis and Prediction Models

BlueGene/L Failure Analysis and Prediction Models

引用

International Conference on Dependable systems and Networks (DSN)

作者： Yinglung Liang Yanyong Zhang A. Sivasubramaniam M. Jette R. Sahoo Electrical & Computer Engineering Department Rutgers University USA Computational Resource Management Group Lawrence Livemore National Laboratory USA Computer Science & Engineering Department Pennslyvania State University USA Exploratory Systems Software Department IBM Thomas J. Watson Research Center USA

The growing computational and storage needs of several scientific applications mandate the deployment of extreme-scale parallel machines, such as IBM's BlueGene/L which can accommodate as many as 128 K processors. One of the challenges when designing and deploying these systems in a production setting is the need to take failure occurrences, whether it be in the hardware or in the software, into account. Earlier work has shown that conventional runtime fault-tolerant techniques such as periodic checkpointing are not effective to the emerging systems. Instead, the ability to predict failure occurrences can help develop more effective checkpointing strategies. Failure prediction has long been regarded as a challenging research problem, mainly due to the lack of realistic failure data from actual production systems. In this study, we have collected RAS event logs from BlueGene/L over a period of more than 100 days. We have investigated the characteristics of fatal failure events, as well as the correlation between fatal events and non-fatal events. Based on the observations, we have developed three simple yet effective failure prediction methods, which can predict around 80% of the memory and network failures, and 47% of the application I/O failures

关键词： Failure analysis Predictive models Production systems Checkpointing Concurrent computing Parallel machines Hardware Runtime Fault tolerant systems Prediction methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：