1529 search results - page 100 / 306 » Power-aware operating systems for interactive systems |
139
click to vote
DEXAW
2009
IEEE
15 years 9 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...
139
click to vote
AR
2006
15 years 5 months ago
2006
This work addresses selected practical issues regarding the development of a telerobotic system for 6 degrees of freedom (DoF) tasks. The system consists of a hyper redundant 10Do...
160
click to vote
SP
2009
IEEE
16 years 7 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
134
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
146
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...