6261816
SEAMS 2009: Software engineering for adaptive and self-managing systems
With the rapid growth of web services and the continuous evolution from software-intensive systems to socio-technical ecosystems, the management of modern computing systems with many uncertainties in their environments presents significant challenges and risks for businesses. End-users increasingly demand software systems that are resilient, dependable, fault-tolerant, energy-efficient, or self-healing. One of the most promising approaches to engineering these properties is to equip software systems with feedback control to address the management of inherent system dynamics. The resulting self-adapting and self-managing computing systems are better able to cope with and even accommodate changing contexts and environments, shifting requirements, and computing-on-demand needs. The SEAMS workshop series consolidates the interests in the software engineering community on self-adaptive and self-managing systems. SEAMS provides a forum for researchers to share new results, raise awareness, and promote collaboration. SEAMS 2009 builds on the success of the SEAMS ICSE workshops of 2008 in Leipzig, Germany, 2007 in Minneapolis, USA, and 2006 in Shanghai, China.
11549805
A Metaphor and a Conceptual Architecture for Software Development Environments
A conceptual architecture for software development environments (SDEs) is presented in terms of a new metaphor drawn from business enterprises. A metaphor is employed as the architecture is complex, requiring understanding from several perspectives. The metaphor provides a rich set of familiar concepts that strongly aid in understanding the environment architecture and software production. The metaphor is applicable to individual programming environments, software development environments supporting teams of developers, and to large-scale software production as a whole.
19675613
Near Optimal Unconditionally Secure Authentication
An efficient unconditionally secure authentication scheme with arbitration is presented which is also secure against attacks by the arbiter. Arguments are presented that suggest this scheme is almost optimal with respect to codeword lengths, and when many messages are sent the amount of key data per message approaches, at worst, 1/3 more than the best possible. An improved unconditionally secure authentication scheme without arbitration is also briefly presented.
16320765
Small World Dynamics and The Process of Knowledge Diffusion: The Case of The Metropolitan Area of Greater Santiago De Chile
This paper aims to understand some of the mechanisms which dominate the phenomenon of knowledge diffusion in the process that is called â€˜interactive learningâ€™. We examine how knowledge spreads in a network in which agents have â€˜face-to-faceâ€™ learning interactions. We define a social network structured as a graph consisting of agents (vertices) and connections (edges) and situated on a grid which resembles the geographical characteristics of the metropolitan area of Greater Santiago de Chile. The target of this simulation is to test whether knowledge diffuses homogeneously or whether it follows some biased path generating geographical divergence between a core area and a periphery. We also investigate the efficiency of our â€˜preferenceâ€™ model of agent decision-making and show that this system evolves towards a small-world type network.
9469994
3D S.O.M. - A commercial software solution to 3D scanning
This paper describes the novel features of a commercial software-only solution to 3D scanning--the 3D Software Object Modeler. Our work is motivated by the desire to produce a low-cost, portable 3D scanning system based on hand-held digital photographs. We describe the novel techniques we have employed to achieve a robust software-based system in the areas of camera calibration, surface generation, and texture extraction.
636531
Design for test and the cost of quality
A generalized methodology is presented which can be used to select a cost effective design-for-test technique for use in the design process. The intent is to factor in both increased research and development costs as well as increased production costs. The authors also correlate the expected levels of test coverage. Thus, for a particular design, it is possible to predict the increase in cost of research and development, and increased production costs, and correlate this with test coverage. The tangible factors in the cost of quality can be determined.<<ETX>>
15082629
Co-processor synthesis: a new methodology for embedded software acceleration
This paper introduces co-processor synthesis - a methodology that provides design benefits by implementing hardware co-processors directly from embedded software. The paper examines the design benefits in this new approach vs. behavioral synthesis and configurable processor methodologies.