ICALP
2005
Springer
14 years 1 months 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...
ICALP
2005
Springer
14 years 1 months 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...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Konrad Zuses frühe vollautomatische Rechenmaschinen Z1-Z4 zeichnen sich nicht nur durch das Prinzip des minimalen Entwurfs, Boolescher Logik, binärer Gleitkommazahlen, usw. aus...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
GI
2005
Springer
14 years 1 months ago
2005
Springer
GI
2005
Springer
14 years 1 months ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: In this paper we present a routing scheme for on-demand construction of multiple non-interfering paths in wireless sensor networks. One usage of this multipath scheme is to provi...
GI
2005
Springer
14 years 1 months ago
2005
Springer