Sciweavers

14424 search results - page 2539 / 2885
» Modeling Radio Networks
Sort
View
MOBICOM
2000
ACM
15 years 11 months ago
Pushing dependent data in clients-providers-servers systems
In satellite and wireless networks and in advanced traffic information systems in which the up-link bandwidth is very limited, a server broadcasts data files in a round-robin man...
Amotz Bar-Noy, Joseph Naor, Baruch Schieber
SC
2000
ACM
15 years 11 months ago
Expressing and Enforcing Distributed Resource Sharing Agreements
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
Tao Zhao, Vijay Karamcheti
LICS
1999
IEEE
15 years 11 months ago
Proving Security Protocols Correct
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
Lawrence C. Paulson
EUROPAR
1999
Springer
15 years 11 months ago
DAOS - Scalable And-Or Parallelism
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...
Luís Fernando Castro, Vítor Santos C...
WMCSA
1999
IEEE
15 years 11 months ago
'Caches in the Air': Disseminating Tourist Information in the Guide System
This paper describes work carried out as part of the GUIDE project at Lancaster University. The overall aim of the project is to develop a context-sensitive tourist guide for visi...
Nigel Davies, Keith Cheverst, Keith Mitchell, Adri...
« Prev « First page 2539 / 2885 Last » Next »