6960 search results - page 1274 / 1392 » Continuity Analysis of Programs |
128
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
143
click to vote
APPROX
2008
Springer
15 years 5 months ago
2008
Springer
In the field of robust optimization, the goal is to provide solutions to combinatorial problems that hedge against variations of the numerical parameters. This constitutes an effor...
140
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...
138
click to vote
BPM
2008
Springer
15 years 5 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
109
click to vote
C3S2E
2008
ACM
15 years 5 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...