SOFSEM
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
SOFSEM
1997
Springer
14 years 3 months ago
1997
Springer
SOFSEM
1997
Springer
14 years 3 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
SOFSEM
1997
Springer
14 years 3 months ago
1997
Springer
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...
SOFSEM
1997
Springer
14 years 3 months ago
1997
Springer
Digital elevation models can represent many types of geographic data. One of the common digital elevation models is the triangulated irregular network also called TIN, or polyhed...