252 search results - page 22 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
IFIPTCS
2000
14 years 5 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
MASCOTS
2003
13 years 10 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
WSC
1998
13 years 10 months ago
1998
This paper presents a library of reusable model components for visual simulation of the Networked Computer Science Technical Report Library (NCSTRL) and illustrates how a visual s...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...