Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would beneļ¬t from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, Ch...
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, ...
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
In a landmark paper, Papadimitriou and Roughgarden [2008] described a polynomial-time algorithm (āEllipsoid Against Hopeā) for computing sample correlated equilibria of concis...