3713 search results - page 563 / 743 » Constructing a Calculus of Programs |
123
click to vote
IFIP
2004
Springer
15 years 8 months 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...
119
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
219
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
131
Voted
ISW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
122
click to vote
NIME
2004
Springer
15 years 8 months ago
2004
Springer
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...