34181 search results - page 213 / 6837 » Computer system |
209
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The US Power Industry is in the process of overhauling the Power Grid to make it more secure, reliable, and available. The IT systems that comprise a major part of this change nee...
183
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
159
click to vote
SUTC
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the challenges in ubiquitous computing is that of mobility, which typically requires interaction between intelligent environments in different domains of administration. We...
167
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper reports a study that aims to construct a 2D barcode supported learning system, called HELLO (Handheld English Language Learning Organization), to improve students’ En...
225
click to vote
NOSSDAV
2004
Springer
16 years 18 days ago
2004
Springer
We propose an energy-aware video streaming system for portable computing devices, in which the video can be played back for the specified duration within the remaining battery am...