365 search results - page 11 / 73 » Explicit Connectors in Component Based Software Engineering ... |
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
ESEC
1999
Springer
14 years 26 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
EUROMICRO
2007
IEEE
14 years 14 days ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...