7961 search results - page 1212 / 1593 » Input-Output Model Programs |
180
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
169
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
144
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
169
click to vote
OOPSLA
2004
Springer
16 years 4 days ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
157
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...