114 search results - page 2 / 23 » Maintaining Consistency in Hierarchical Reasoning |
PODC
2010
ACM
13 years 9 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Replication and caching have been deployed widely in current P2P systems. In update-allowed P2P systems, a consistency maintenance mechanism is strongly demanded. Several solution...
SOCASE
2009
Springer
13 years 11 months ago
2009
Springer
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
IROS
2009
IEEE
13 years 12 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...