13383 search results - page 387 / 2677 » Abstractions from proofs |
163
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
180
click to vote
FSE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...
185
Voted
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
175
Voted
IEAAIE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
174
click to vote
IFM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...