895 search results - page 69 / 179 » A Spectrum of Applications of Automated Reasoning |
175
Voted
LISA
2008
15 years 7 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...
149
Voted
ISSRE
2010
IEEE
15 years 3 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...
122
Voted
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
148
Voted
GIS
2009
ACM
15 years 10 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...
165
click to vote
IJMTM
2007
15 years 5 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...