13489 search results - page 2398 / 2698 » Self-migration of operating systems |
172
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
195
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
196
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth...
185
Voted
RTSS
2006
IEEE
16 years 21 days ago
2006
IEEE
In most operating systems, the handling of interrupts is typically performed within the address space of the kernel. Moreover, interrupt handlers are invoked asynchronously during...
210
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...