1173 search results - page 100 / 235 » Weighted Distributed Systems and Their Logics |
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
VLDB
1990
ACM
14 years 2 months ago
1990
ACM
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
FCT
2005
Springer
14 years 3 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
Temperature monitoring using thermal sensors is an essential tool for evaluating the thermal behavior and sustaining the reliable operation in high-performance and high-power syst...
MOBICOM
2009
ACM
14 years 4 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...