1173 search results - page 58 / 235 » Weighted Distributed Systems and Their Logics |
PDP
2007
IEEE
14 years 4 months ago
2007
IEEE
The paper addresses the challenges and opportunities of instrumenting pervasive computing systems with a logical clock, aware of the quality of synchronization with respect to a t...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
JCS
2007
13 years 9 months ago
2007
Distributed authorization takes into account several elements, including certificates that may be provided by non-local actors. While most trust management systems treat all asse...
SIGIR
2005
ACM
14 years 3 months ago
2005
ACM
Finding a proper distribution of translation probabilities is one of the most important factors impacting the effectiveness of a crosslanguage information retrieval system. In th...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...