1299 search results - page 76 / 260 » On the Correctness of Operating System Kernels |
141
click to vote
USENIX
2007
15 years 6 months ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...
111
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
139
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
149
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
Functionality for various services of scheduling algorithms is typically provided as extensions to a basic algorithm. Aperiodic task handling, guarantees, etc., are integrated wit...
138
click to vote
SEUS
2007
IEEE
15 years 10 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...