2810 search results - page 282 / 562 » Contract-Based Component System Design |
137
click to vote
ENTCS
2002
15 years 3 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
139
click to vote
MMS
2002
15 years 3 months ago
2002
Integration--supporting multiple application classes with heterogeneous requirements--is an emerging trend in networks, file systems, and operating systems. In this paper, we eval...
129
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Real-time embedded systems are increasingly being built using commercial-off-the-shelf (COTS) components such as mass-produced peripherals and buses to reduce costs, timeto-market...
128
Voted
MM
1999
ACM
15 years 7 months ago
1999
ACM
Integration—supporting multiple application classes with heterogeneous requirements—is an emerging trend in networks, file systems, and operating systems. In this paper, we e...
146
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Context awareness is a vital element in pervasive and ubiquitous systems. While most existing research has focused on designing context-aware systems to integrate into th...