13489 search results - page 53 / 2698 » Operating System |
SRDS
1997
IEEE
15 years 2 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
107
click to vote
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Two different operating system types are currently considered for sensor networks: event driven and multithreaded. This paper compares the two well-known operating systems TinyOS ...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
SIGOPSE
1996
ACM
15 years 1 months ago
1996
ACM
The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software mainten...