2838 search results - page 91 / 568 » Verifying Controlled Components |
PCM
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we propose a reliable high-speed UDP-based media transport with an adaptive FEC (forward error correction) error control. The proposed adaptive transport scheme cont...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
APNOMS
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
AUSAI
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. In this paper we report preliminary findings of using cellular automata (CA) as an underlying architecture in controlling the motion of a fivelegged brittle star typed ro...
ETRICS
2006
14 years 21 days ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...