2810 search results - page 27 / 562 » Contract-Based Component System Design |
107
click to vote
EUC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
142
click to vote
ZUM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
150
Voted
CSREAESA
2006
15 years 3 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
114
Voted
ICDCS
1990
IEEE
15 years 6 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
120
click to vote
FPL
2000
Springer
15 years 6 months ago
2000
Springer
The paper tries to establish the uniform design concept for evolvable hardware based applications. Evolvable circuit is understood as a system component with ability to evolve. As ...