15777 search results - page 3037 / 3156 » The Reformulation-Optimization Software Engine |
126
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
130
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
150
Voted
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Location awareness is the key capability of mobilecomputingapplications. Despitehighdemand, indoor location technologies have not become truly ubiquitous mainly due to their requir...
126
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
128
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we are interested in the relationship between final prices of online auctions and possible shill activities during those auctions. We conduct experiments on real auc...