1624 search results - page 230 / 325 » Fairness in multi-agent systems |
177
click to vote
WADT
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
166
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
The digital divide between developed and non-developed countries or large and smaller companies in terms of adoption of new technologies and particularly the Internet and electron...
148
click to vote
JCDL
2003
ACM
16 years 3 days ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
205
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
197
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper contains a detailed description of the congestion control algorithm of TRAM, a tree-based reliable multicast protocol. This algorithm takes advantage of regular ackn...