13007 search results - page 2574 / 2602 » Wireless and Mobile Networking |
IWPSE
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
CAISE
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
DSN
2002
IEEE
14 years 17 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
COSIT
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we propose the use of small global memory for a viewer’s immediate surroundings to assist in recognising places that have been visited previously. We call this glob...
AINA
2010
IEEE
13 years 12 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...