3333 search results - page 290 / 667 » Abstract Proof Search |
174
click to vote
FCT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
176
click to vote
FSE
2005
Springer
16 years 5 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...
181
click to vote
ICALP
2005
Springer
16 years 5 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 ...
179
click to vote
ICWE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
171
click to vote
IEAAIE
2005
Springer
16 years 5 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...