2585 search results - page 280 / 517 » computing 1999 |
136
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
This paper introduces the notion of profile-based cooperation as a way to support awareness and informal communication between mobile users during chance encounters. We describe th...
151
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
Large client-server data intensive applications can place high demands on system and network resources. This is especially true when the connection between the client and server s...
122
click to vote
PVM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...
138
click to vote
TLCA
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
123
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
For wireless channels, interference mitigation techniques are typically applied at the packet transmission level. In this paper, we present the Havana Framework for supporting int...