93 search results - page 18 / 19 » Timed Unfoldings for Networks of Timed Automata |
105
Voted
FORTE
1996
15 years 28 days ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
98
Voted
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...
103
click to vote
ICPADS
2005
IEEE
15 years 5 months ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...
123
click to vote
TC
2010
14 years 6 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...