30 search results - page 4 / 6 » Assembling components with behavioural contracts |
SCS
2003
13 years 7 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
SEKE
2005
Springer
13 years 11 months ago
2005
Springer
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
EUROMICRO
2006
IEEE
13 years 11 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...
EH
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
ICSE
2009
IEEE-ACM
14 years 16 days ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...