365 search results - page 11 / 73 » Explicit Connectors in Component Based Software Engineering ... |
167
Voted
TASE
2010
IEEE
14 years 9 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...
192
Voted
ESEC
1999
Springer
15 years 7 months 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 ...
111
Voted
WORDS
2003
IEEE
15 years 8 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...
134
Voted
EUROMICRO
2007
IEEE
15 years 6 months 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...
117
Voted
COMPSAC
2003
IEEE
15 years 8 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...