Sciweavers

13618 search results - page 404 / 2724
» The Newton Operating System
Sort
View
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 11 months ago
A Human-Robot Interface Using an Interactive Hand Pointer that Projects a Mark in the Real Work Space
A human-robot interface system is under development that takes into account the exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
Shin Sato, Shigeyuki Sakane
AGENTS
1997
Springer
15 years 11 months ago
TAIPE: Tactical Assistants for Interaction Planning and Execution
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...
Edmund H. Durfee, Marcus J. Huber, Michael Kurnow,...
EUROSYS
2007
ACM
16 years 4 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 11 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
RSCTC
2004
Springer
116views Fuzzy Logic» more  RSCTC 2004»
16 years 7 days ago
Constrained Sums of Information Systems
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
Andrzej Skowron, Jaroslaw Stepaniuk