2940 search results - page 157 / 588 » Relational Parametricity and Control |
132
click to vote
LOCA
2009
Springer
15 years 11 months ago
2009
Springer
With proliferation of ubiquitous computing, digital access is facing an increasing risk since unauthorized client located at any place may intrude a local server. Location Based Ac...
133
click to vote
CN
2007
15 years 4 months ago
2007
Efficient multicast congestion control (MCC) is one of the critical components required to enable the IP multicast deployment over the Internet. Previously proposed MCC schemes ca...
146
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
136
click to vote
MOBISYS
2007
ACM
16 years 4 months ago
2007
ACM
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
169
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed hash table (DHT) networks based on consistent hashing functions have an inherent load balancing problem. The problem becomes more severe due to the heterogeneity of ne...