2674 search results - page 30 / 535 » On architecture transparency in operating systems |
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
HAPTICS
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic properties of robotic manipulators, including inertia, damping, and friction, limit the transparency of a haptic-feedback teleoperator. In this paper, we develop a positio...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
SDL
2001
14 years 11 months ago
2001
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
WOA
2000
14 years 11 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...