1624 search results - page 166 / 325 » Fairness in multi-agent systems |
181
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
193
click to vote
3DIC
2009
IEEE
16 years 1 months ago
2009
IEEE
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...
180
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
212
click to vote
CIDR
2003
15 years 8 months ago
2003
Peer-to-peer sharing systems are becoming increasingly popular and an exciting new class of innovative, internet-based data management systems. In these systems, users contribute ...
193
click to vote
ICMCS
2005
IEEE
16 years 20 days ago
2005
IEEE
VOD services require the storage system support with multiple disks. SCSI-based systems are usual choices. However, disks can be attached directly to networks these days. Fiber Ch...