5838 search results - page 1106 / 1168 » A File System for System Programming in Ubiquitous Computing |
119
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
145
click to vote
TRIDENTCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
115
click to vote
EUROCAST
2005
Springer
15 years 8 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
122
click to vote
PVM
2005
Springer
15 years 8 months ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
132
click to vote
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...