10715 search results - page 2046 / 2143 » From Tests to Proofs |
WECWIS
2002
IEEE
14 years 1 months ago
2002
IEEE
Despite the large amounts of runtime needed to adequately solve a combinatorial auction (CA), existing iterative CA auction protocols require winner determination during every rou...
SIGMOD
2010
ACM
14 years 29 days ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
SIGMOD
2010
ACM
14 years 29 days ago
2010
ACM
With the maturity of GPS, wireless, and Web technologies, increasing amounts of movement data collected from various moving objects, such as animals, vehicles, mobile devices, and...
APN
2010
Springer
14 years 29 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
ICSE
2010
IEEE-ACM
14 years 28 days ago
2010
IEEE-ACM
We performed an empirical study to characterize factors that affect which bugs get fixed in Windows Vista and Windows 7, focusing on factors related to bug report edits and relat...