2940 search results - page 542 / 588 » Relational Parametricity and Control |
HT
2006
ACM
15 years 3 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
116
click to vote
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
We consider the problem of throughput-optimal scheduling in wireless networks subject to interference constraints. We model the interference using a family of K-hop interference m...
NETGAMES
2006
ACM
15 years 3 months ago
2006
ACM
— For better or worse, technological advancement has changed the world to the extent that at a professional level demands from the working executive required more hours either in...
CIG
2005
IEEE
15 years 3 months ago
2005
IEEE
Several attempts have been made in the past to construct encoding schemes that allow modularity to emerge in evolving systems, but success is limited. We believe that in order to c...