2810 search results - page 113 / 562 » Contract-Based Component System Design |
118
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
117
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
149
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
112
click to vote
WMCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...
129
click to vote
EUROPLOP
2006
15 years 4 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...