Sciweavers

3330 search results - page 196 / 666
» software 2010
Sort
View
KBSE
2010
IEEE
13 years 9 months ago
Automated program repair through the evolution of assembly code
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
Eric Schulte, Stephanie Forrest, Westley Weimer
ENVSOFT
2007
94views more  ENVSOFT 2007»
13 years 10 months ago
Automated estimation and analyses of meteorological drought characteristics from monthly rainfall data
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
V. U. Smakhtin, D. A. Hughes
JSS
2010
123views more  JSS 2010»
13 years 5 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
CAISE
2010
Springer
13 years 9 months ago
Search Computing Systems
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
Stefano Ceri, Marco Brambilla
ICST
2010
IEEE
13 years 9 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska