463 search results - page 74 / 93 » Database De-Centralization - A Practical Approach |
HPCA
2006
IEEE
14 years 7 months ago
2006
IEEE
The increasing demand for reliable computers has led to proposals for hardware-assisted rollback of memory state. Such approach promises major reductions in Mean Time To Repair (M...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
IV
2009
IEEE
14 years 2 months ago
2009
IEEE
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...
DCC
2008
IEEE
14 years 1 months ago
2008
IEEE
Motivated by sensor networks, we consider the fusion storage of correlated sources in a database, such that any subset of them may be efficiently retrieved in the future. Only st...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...