713 search results - page 104 / 143 » Toward a More Reliable Theory of Software Reliability |
ICRA
1994
IEEE
15 years 3 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
CLUSTER
2006
IEEE
15 years 3 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...
118
click to vote
ICDCS
2011
IEEE
13 years 11 months ago
2011
IEEE
Many distributed software systems allow participation by large numbers of untrusted, potentially faulty components on an open network. As faults are inevitable in this setting, th...
COMSWARE
2008
IEEE
15 years 6 months ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
189
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...