365 search results - page 14 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
155
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
196
click to vote
WADS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
185
click to vote
ADAEUROPE
2006
Springer
15 years 11 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
150
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
184
click to vote
RTCSA
2008
IEEE
15 years 12 months ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...