13306 search results - page 336 / 2662 » Theoretical Computer Science |
168
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: The paper describes an architecture allowing Mobile IP hosts to access to a virtual private network that is protected by a firewall from the public Internet. The implementation b...
125
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...
189
click to vote
MFCS
2001
Springer
15 years 11 months ago
2001
Springer
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
146
Voted
MFCS
2001
Springer
15 years 11 months ago
2001
Springer
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on fin...
180
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...