Sciweavers

1888 search results - page 233 / 378
» How communication can improve the performance of multi-agent...
Sort
View
JITECH
2008
57views more  JITECH 2008»
15 years 6 months ago
Offshore middlemen: transnational intermediation in technology sourcing
The tendency of acquiring information systems and other high technology services from international suppliers continues at unprecedented levels. The primary motivation for the off...
Volker Mahnke, Jonathan Wareham, Niels Bjør...
AINA
2008
IEEE
16 years 29 days ago
Opportunistic Data Dissemination Using Real-World User Mobility Traces
— Opportunistic communication allows humans equipped with mobile devices to exchange information via a wireless link whenever they are nearby. This work examines the performance ...
Andreas Heinemann, Jussi Kangasharju, Max Müh...
ICC
2007
IEEE
127views Communications» more  ICC 2007»
16 years 24 days ago
Scalable Local Area Service Discovery
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...
Richard Black, Heimir Sverrisson, Laurent Massouli...
ISCC
2006
IEEE
16 years 15 days ago
Evaluating Filtering Strategies for Decentralized Handover Prediction in the Wireless Internet
The rapid diffusion of heterogeneous forms of wireless connectivity is pushing the tremendous growth of the commercial interest in mobile services, i.e., distributed applications ...
Paolo Bellavista, Antonio Corradi, Carlo Giannelli
HYBRID
1998
Springer
15 years 10 months ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch