3342 search results - page 254 / 669 » Automating Abstract Interpretation |
156
Voted
IFM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
198
Voted
CALCO
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
140
Voted
SOFSEM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
135
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
119
Voted
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...