895 search results - page 69 / 179 » A Spectrum of Applications of Automated Reasoning |
167
click to vote
LISA
2008
15 years 6 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...
140
click to vote
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...
112
click to vote
PERCOM
2008
ACM
16 years 4 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...
139
click to vote
GIS
2009
ACM
15 years 9 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 ...
150
click to vote
IJMTM
2007
15 years 4 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...