626 search results - page 35 / 126 » Correct Composition of Design Components |
107
click to vote
DSVIS
2006
Springer
15 years 4 months ago
2006
Springer
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
138
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
145
click to vote
CBSE
2004
Springer
15 years 8 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
145
Voted
EWSN
2008
Springer
16 years 2 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
145
Voted
ASM
2010
ASM
15 years 9 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...