7124 search results - page 158 / 1425 » Programming Languages and Operating Systems |
195
click to vote
CASSIS
2005
Springer
16 years 8 hour ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
177
click to vote
SP
2007
IEEE
16 years 22 days ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
194
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
200
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
160
click to vote
CGO
2007
IEEE
16 years 24 days ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...