300 search results - page 15 / 60 » Using probabilistic reasoning to automate software tuning |
71
Voted
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
INFOCOM
2012
IEEE
12 years 12 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...
GIS
2007
ACM
14 years 9 months ago
2007
ACM
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...
78
Voted
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
DLOG
2007
14 years 11 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...