1496 search results - page 285 / 300 » Support for Recovery in Mobile Systems |
IANDC
2006
14 years 11 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
100
click to vote
SIGMOD
2001
ACM
15 years 12 months ago
2001
ACM
Data warehouses have been successfully employed for assisting decision making by offering a global view of the enterprise data and providing mechanisms for On-Line Analytical proc...
107
click to vote
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Outdoor camera networks are becoming ubiquitous in critical urban areas of large cities around the world. Although current applications of camera networks are mostly li...
113
click to vote
ICMI
2005
Springer
15 years 5 months ago
2005
Springer
Current methods of playlist creation and maintenance do not support user needs, especially in a mobile context. Furthermore, they do not scale: studies show that users with large ...
118
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...