666 search results - page 106 / 134 » A Persistent Hyper-Programming System |
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
We present DeskPod, a portable system that provides a highly reliable desktop computing environment for mobile users by leveraging rapid improvements in capacity, cost, and size o...
SSDBM
2006
IEEE
14 years 4 months ago
2006
IEEE
A phenomenon appears in a sensor network when a group of sensors persist to generate similar behavior over a period of time. PhenomenaBases (or databases of phenomena) are equippe...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
SWSTE
2005
IEEE
14 years 3 months ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ...
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...