Sciweavers

1236 search results - page 55 / 248
» Efficient Interpretation Policies
Sort
View
TC
2002
13 years 8 months ago
Cache Invalidation and Replacement Strategies for Location-Dependent Data in Mobile Environments
Mobile location-dependent information services (LDISs) have become increasingly popular in recent years. However, data caching strategies for LDISs have thus far received little at...
Baihua Zheng, Jianliang Xu, Dik Lun Lee
AAAI
2008
13 years 11 months ago
Efficient Metadeliberation Auctions
Imagine a resource allocation scenario in which the interested parties can, at a cost, individually research ways of using the resource to be allocated, potentially increasing the...
Ruggiero Cavallo, David C. Parkes
CN
2007
168views more  CN 2007»
13 years 8 months ago
A MAC layer power management scheme for efficient energy delay tradeoff in a WLAN
— Energy efficient operation is of paramount importance for battery-powered wireless nodes. In an effort to conserve energy, standard protocols for WLANs have the provision for w...
Mahasweta Sarkar, Rene L. Cruz
SWS
2004
ACM
14 years 2 months ago
A formal semantics for P3P
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
Ting Yu, Ninghui Li, Annie I. Antón
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 1 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet