10271 search results - page 526 / 2055 » Computer Science |
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...
143
click to vote
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...
171
click to vote
RELMICS
2001
Springer
15 years 11 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
177
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...