Sciweavers

2127 search results - page 173 / 426
» Software Automation
Sort
View
OTM
2007
Springer
16 years 17 days ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
EPEW
2009
Springer
16 years 1 months ago
Performance of Auctions and Sealed Bids
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
Erol Gelenbe, László Györfi
WCRE
2000
IEEE
15 years 10 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
CIDR
2003
103views Algorithms» more  CIDR 2003»
15 years 7 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
INFSOF
2000
110views more  INFSOF 2000»
15 years 6 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