Sciweavers

1529 search results - page 9 / 306
» Power-aware operating systems for interactive systems
Sort
View
CHI
2006
ACM
15 years 10 months ago
Support for activity-based computing in a personal computing operating system
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
Jakob E. Bardram, Jonathan Bunde-Pedersen, Mads S&...
AAAI
2000
14 years 11 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
14 years 7 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
HICSS
2000
IEEE
129views Biometrics» more  HICSS 2000»
15 years 2 months ago
A New Tool for Visualization and Animation of Power Component and System Operation
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
A. P. Sakis Meliopoulos, George J. Cokkinides, Ben...
JDCTA
2010
172views more  JDCTA 2010»
14 years 4 months ago
Performance Test of An Embedded Real-Time Operating System Based on A New High-Security NetWork Computer
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
Gengxin Sun, Fengjing Shao Name, Sheng Bin