2468 search results - page 462 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
151
click to vote
ICPP
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we propose a novel software-only distributed sharedmemory system (SW-DSM), the Affinity Entry Consistency (AEC) protocol. The protocol is based on Entry Consistency ...
127
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
139
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
As an indispensable technique in the field of Information Filtering, Recommender System has been well studied and developed both in academia and in industry recently. However, mo...
138
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
134
Voted
SI3D
1997
ACM
15 years 7 months ago
1997
ACM
We have built a system that allows users to naturally manipulate virtual 3D models with both hands on the Responsive Workbench, a tabletop VR device. Our design is largely based u...