8828 search results - page 1220 / 1766 » Formal methods in practice |
266
click to vote
SCESM
2006
ACM
16 years 1 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
212
click to vote
SIGMETRICS
2006
ACM
16 years 1 months ago
2006
ACM
This work analyzes the connectivity of large diameter networks where every link has an independent probability p of failure. We give a (relatively simple) topological condition th...
207
click to vote
METRICS
2005
IEEE
16 years 24 days ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...
213
click to vote
TPHOL
2005
IEEE
16 years 24 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
208
click to vote
SIGMOD
2005
ACM
16 years 24 days ago
2005
ACM
In a number of recent studies [4, 8] researchers have found that because search engines repeatedly return currently popular pages at the top of search results, popular pages tend ...