300 search results - page 34 / 60 » Using probabilistic reasoning to automate software tuning |
129
Voted
LISA
2008
15 years 2 months ago
2008
Application problem diagnosis in complex enterprise environments is a challenging problem, and contributes significantly to the growth in IT management costs. While application pr...
217
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
97
Voted
TPHOL
1996
IEEE
15 years 4 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
113
Voted
GIS
2002
ACM
15 years 7 days ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
111
Voted
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...