Sciweavers

2132 search results - page 175 / 427
» Automated software winnowing
Sort
View
115
Voted
WCRE
2000
IEEE
15 years 7 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
137
Voted
AVI
2008
15 years 6 months ago
Interactive visual interfaces for evacuation planning
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
Gennady L. Andrienko, Natalia V. Andrienko, Ulrich...
139
Voted
CIDR
2003
103views Algorithms» more  CIDR 2003»
15 years 5 months ago
Active Server Availability Feedback
The current software development process in common use within industry is inefficient, in that the time required to incorporate results from competitive, beta, and previous releas...
James R. Hamilton
172
Voted
INFSOF
2000
110views more  INFSOF 2000»
15 years 3 months ago
Partition testing with usage models
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
Kirk Sayre, Jesse H. Poore
138
Voted
ELECTRONICMARKETS
1998
134views more  ELECTRONICMARKETS 1998»
15 years 3 months ago
Agents as Mediators in Electronic Commerce
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. This paper surveys several of these agentmediated elect...
Robert H. Guttman, Alexandros Moukas, Pattie Maes