6581 search results - page 1224 / 1317 » Formalizing Design Patterns |
171
click to vote
MICRO
2007
IEEE
16 years 17 days ago
2007
IEEE
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...
193
click to vote
SP
2007
IEEE
16 years 16 days ago
2007
IEEE
We design an encryption scheme called Multi-dimensional Range Query over Encrypted Data (MRQED), to address the privacy concerns related to the sharing of network audit logs and v...
158
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
189
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
Intelligent agents that are intended to work in dynamic environments must be able to gracefully handle unsuccessful tasks and plans. In addition, such agents should be able to mak...
197
click to vote
IPSN
2007
Springer
16 years 13 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...