Sciweavers

3175 search results - page 529 / 635
» Network properties of folksonomies
Sort
View
EUROCRYPT
2010
Springer
15 years 11 months ago
Adaptively Secure Broadcast
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
Martin Hirt, Vassilis Zikas
CDC
2009
IEEE
151views Control Systems» more  CDC 2009»
15 years 11 months ago
A poset framework to model decentralized control problems
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
Parikshit Shah, Pablo A. Parrilo
DEXAW
2000
IEEE
160views Database» more  DEXAW 2000»
15 years 10 months ago
An Adaptive AVI-Based Cache Invalidation Scheme for Mobile Computing Systems
In a mobile computing system, caching data items at the mobile clients is important to reduce the data access delay in a unreliable and low bandwidth mobile network. However, effi...
Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam, Hei-...
ER
1998
Springer
123views Database» more  ER 1998»
15 years 10 months ago
Web Content Delivery to Heterogeneous Mobile Platforms
It is widely acknowledged that information such as web content should be adapted for mobile platforms to account for restrictions in mobile environments. As emerging mobile platfor...
Martin Gaedke, Michael Beigl, Hans-Werner Gellerse...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 10 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi