3095 search results - page 287 / 619 » Ubiquitous presence systems |
172
click to vote
ACTA
2007
15 years 6 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
171
click to vote
MSCS
2008
15 years 6 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
181
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
132
click to vote
IJNVO
2008
15 years 6 months ago
2008
This study explores how people trust each other in Virtual Communities (VCs). The online presence is certainly different from the physical world.; the broad question in this resea...
177
click to vote
SCHOLARPEDIA
2008
15 years 6 months ago
2008
We demonstrate how Sakharov's idea of induced gravity allows one to explain the statistical-mechanical origin of the entropy of a black hole. According to this idea, gravity b...