5128 search results - page 695 / 1026 » When Abstraction Fails |
169
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
148
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
167
click to vote
ICAPR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
218
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...
161
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...