2111 search results - page 220 / 423 » How to Program Pervasive Systems |
143
Voted
USENIX
1993
15 years 4 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...
165
Voted
ASPLOS
2008
ACM
15 years 5 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, ...
150
click to vote
CADE
2002
Springer
16 years 3 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...
152
Voted
AADEBUG
2005
Springer
15 years 9 months 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...
117
Voted
DATE
2008
IEEE
15 years 10 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...