2643 search results - page 85 / 529 » Higher order messaging |
147
click to vote
AICCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
— Mobile ad hoc networks (MANETs) provide a powerful and dynamic platform to enable mobile computers to establish communications without an existing infrastructure. In order to p...
152
click to vote
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
231
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
146
click to vote
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
In addition to providing small mean response times, modern applications seek to provide users predictable service and, in some cases, Quality of Service (QoS) guarantees. In order...
88
Voted
APAL
2010
15 years 4 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...