5900 search results - page 231 / 1180 » Dependable Systems |
158
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
185
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
143
click to vote
ICC
2008
IEEE
16 years 29 days ago
2008
IEEE
—OFDM systems have gained outstanding popularity for high data rate wireless communications. In practice, however, the performance of OFDM systems is often limited due to hardwar...
149
click to vote
IESS
2007
Springer
16 years 20 days ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
168
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...