18 search results - page 2 / 4 » stacs 2000 |
STACS
2000
Springer
13 years 9 months ago
2000
Springer
IFM
2000
Springer
13 years 9 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
STACS
2000
Springer
13 years 9 months ago
2000
Springer
The k-server problem is one of the most fundamental online problems. The problem is to schedule k mobile servers to visit a sequence of points in a metric space with minimum total...
STACS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Block codes are first viewed as finite state automata represented as trellises. A technique termed subtrellis overlaying is introduced with the object of reducing decoder...
STACS
2000
Springer
13 years 9 months ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...