3504 search results - page 171 / 701 » Computational Aspects of Equilibria |
171
click to vote
SEFM
2003
IEEE
16 years 10 days ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
201
click to vote
BIRTHDAY
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
197
Voted
GI
2003
Springer
16 years 9 days ago
2003
Springer
: Link analysis is the most important application of web structure mining and serves as a new knowledge source in web information retrieval. However, the mono-dimensional analysis ...
154
Voted
CHINZ
2009
ACM
15 years 11 months ago
2009
ACM
The information we encounter in modern life, in developed countries, is a hybrid of the physical and the digital. Personal archiving tools allow users to capture and retrieve aspe...
152
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...