1980 search results - page 36 / 396 » Compositional Model Checking of Real Time Systems |
CBSE
2006
Springer
14 years 22 days ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
FASE
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
EPEW
2005
Springer
14 years 2 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
ANSS
1996
IEEE
14 years 1 months ago
1996
IEEE
