3228 search results - page 394 / 646 » Computationally Sound Proofs |
114
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
1 Service discovery protocols are used in distributed systems to locate services for clients. The services that are located as well as the clients requesting service are commonly a...
123
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
132
Voted
FSE
2005
Springer
15 years 9 months 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...
130
Voted
ICALP
2005
Springer
15 years 9 months 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 ...
111
click to vote
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...