14078 search results - page 1973 / 2816 » Design and Analysis of Computer Algorithms |
180
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
212
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
204
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
193
click to vote
ICNC
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a new method to improve web site text content by identifying the most relevant free text in the web pages. In order to understand the variations in web page text, we c...
217
click to vote
ICTAC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...