6239 search results - page 948 / 1248 » From Zinc to Design Model |
255
Voted
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
164
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...
202
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
180
click to vote
SIGCOMM
1997
ACM
15 years 11 months ago
1997
ACM
As multicast applications are deployed for mainstream use, the need to secure multicast communications will become critical. Multicast, however, does not t the point-to-point mod...
214
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...