1268 search results - page 69 / 254 » Verifying distributed systems: the operational approach |
152
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
216
click to vote
INFOCOM
2006
IEEE
16 years 4 days ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
162
click to vote
JSAC
2010
15 years 4 months ago
2010
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...
202
click to vote
PDPTA
1997
15 years 7 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
176
click to vote
OSDI
2000
ACM
15 years 7 months ago
2000
ACM
Many boundaries impede the flow of authorization information, forcing applications that span those boundaries into hop-by-hop approaches to authorization. We present a unified app...