2111 search results - page 220 / 423 » How to Program Pervasive Systems |
215
Voted
USENIX
1993
15 years 8 months ago
1993
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
235
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...
200
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
222
click to vote
AADEBUG
2005
Springer
16 years 16 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
177
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...