Sciweavers

3514 search results - page 102 / 703
» Evolving Specification Engineering
Sort
View
IWSAS
2000
Springer
13 years 11 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...
SP
2000
IEEE
13 years 11 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
DAGSTUHL
2001
13 years 9 months ago
Software Visualization for Reverse Engineering
This article describes the Bauhaus tool suite as a concrete example for software visualization in reverse engineering, re-engineering, and software maintenance. Results from a rec...
Rainer Koschke
IEEEHPCS
2010
13 years 6 months ago
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
This paper presents a computing technique for efficient parallel simulation of large-scale discrete-event models on the IBM Cell Broadband Engine (CBE), which has one Power Proces...
Qi Liu, Gabriel A. Wainer, Ligang Lu, Michael Perr...
SIGSOFT
2006
ACM
14 years 8 months ago
Questions programmers ask during software evolution tasks
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
Jonathan Sillito, Gail C. Murphy, Kris De Volder