software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. software safety is a composite of many factors. Existing softwar...
详细信息
The proceedings contain 160 papers. The topics discussed include: managing quality level for developing information security systems adopting QFD;multidisciplinary design approach using repetitive response surface enh...
ISBN:
(纸本)9780769532639
The proceedings contain 160 papers. The topics discussed include: managing quality level for developing information security systems adopting QFD;multidisciplinary design approach using repetitive response surface enhancement and global optimization;neural net water level trend prediction and dynamic water level sampling frequency;a tabu search and ant colony system approach for the capacitated location-routing problem;an adaptive performance management method for failure detection;new approaches for software watermarking by register allocation;placing a liaison between two members of the same level in an organization structure of a complete binary tree;study on ontology partition based on ant colony algorithm;the complexity of the evolution of graph labelings;the complexity of the grid wireless mobility model;and a comparison of iterative repair strategies for earth observing satellites imaging scheduling.
Ultra-Large-Scale (ULS) software-Intensive systems are the new frontier for softwareengineering research and development. The requirements space for ULS encompasses, in particular, the system-of-systems integration c...
详细信息
ISBN:
(纸本)9781605580265
Ultra-Large-Scale (ULS) software-Intensive systems are the new frontier for softwareengineering research and development. The requirements space for ULS encompasses, in particular, the system-of-systems integration challenge. This challenge is characterized by the inherently distributed nature of the constituent systems and the integration solution, the typically interdisciplinary background from which these constituent systems emerge, the need to address a broad spectrum of crosscutting concerns as part of the integration fabric, and a significant amount of agility both in the integration architecture and the development process to accommodate changing requirements over time. In this position paper, we discuss some of the consequences we see emerging from this challenge, propose an architectural blueprint for addressing them, and present future research directions. Copyright 2008 ACM.
We present an approach that allows mission and contingency management to be achieved in a distributed and dynamic manner without any central control over multiple software modules. This approach comprises two key elem...
详细信息
ISBN:
(纸本)9789898111340
We present an approach that allows mission and contingency management to be achieved in a distributed and dynamic manner without any central control over multiple software modules. This approach comprises two key elements: a mission management subsystem and a planning subsystem based on a Canonical software Architecture (CSA). The mission management subsystem works in conjunction with the planning subsystem to dynamically replan in reaction to contingencies. The CSA provides for consistency of the states of all the software modules in the planning subsystem. System faults are identified and replanning strategies are performed distributedly in the planning and the mission management subsystems through the CSA. The approach has been implemented and tested on Alice, an autonomous vehicle developed by the California Institute of Technology for the 2007 DARPA Urban Challenge.
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the requirements of a large number of geographic...
详细信息
ISBN:
(纸本)9783540859918
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the requirements of a large number of geographically distributed users have to be taken into account. In this paper, we address this problem by introducing an integrated, web-based approach that enables users to easily express their ideas on how the interaction with a system could be improved. In addition, the user input is contextualized, allowing for highly structured means to access, explore, and analyze the user requirements.
The importance of text summarization grows rapidly as the amount of information increases exponentially. This paper presents a new hybrid summarization technique that combines statistical properties of documents with ...
详细信息
Practicing software engineers involved in program maintenance frequently need to locate the code that implements a particular user feature. Researchers have developed several tools and techniques to address this probl...
详细信息
ISBN:
(纸本)9781605580296
Practicing software engineers involved in program maintenance frequently need to locate the code that implements a particular user feature. Researchers have developed several tools and techniques to address this problem. We argue that SOA applications, despite their novel architecture, will continue to face the feature location problem. Lessons learned from experience with earlier systems, especially earlier distributedsystems, can be useful in identifying the kinds of tools and techniques that will be needed for SOA. Copyright 2008 ACM.
Although grid systems and grid computing have greatly evolved during the past few years, parallel application support remains somewhat limited. A new method for integrating parallel applications as grid services is pr...
详细信息
ISBN:
(纸本)9789898111555
Although grid systems and grid computing have greatly evolved during the past few years, parallel application support remains somewhat limited. A new method for integrating parallel applications as grid services is presented. This method assumes that underlying parallel applications are resources for grid services;also, it implies that service resources may be clients for some predefined helper grid services. The design of the grid service is based on a Factory Service / Instance Service architecture, aiming to offer support for managing multiple resources. The tests were performed on the GRAI Grid (Academic Grid for Complex Applications), using Globus Toolkit 4 - versions 4.0.3 and 4.0.5 - as the base middleware.
Traditional parallel programming models achieve synchronization with error-prone and complex-to-debug constructs such as locks and barriers. Transactional Memory (TM) is a promising new parallel programming abstractio...
详细信息
ISBN:
(纸本)9781424416936
Traditional parallel programming models achieve synchronization with error-prone and complex-to-debug constructs such as locks and barriers. Transactional Memory (TM) is a promising new parallel programming abstraction that replaces conventional locks with critical sections expressed as transactions. Most TM research has focused on single address space parallel machines, leaving the area of distributedsystems unexplored. In this paper we introduce a flexible Java software TM (STM) to enable evaluation and prototyping of TM protocols on clusters. Our STM builds on top of the ProActive framework and has as an underlying transactional engine the state-of-the-art DSTM2. It does not rely on software or hardware distributed shared memory for the execution. This follows the transactional semantics at object granularity level and its feasibility is evaluated with non-trivial TM-specific benchmarks.
the speed of processor accessing local memory is much faster than that of accessing remote memory by communication on distributed memory machines. To reduce the cost brought by the communication the parallel recogniti...
详细信息
暂无评论