721 search results - page 25 / 145 » Exploiting Meta-Level information in a Distributed Schedulin... |
CCS
2004
ACM
14 years 4 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
MDM
2009
Springer
14 years 5 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
Field programmable gate arrays (FPGAs) are commonly used in embedded systems. Although it is possible to reconfigure some FPGAs while an embedded system is operational, this featu...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—In this paper we study the problem of providing shortterm access time fairness in wireless communication systems with multimedia services, while still maintaining high s...
CCR
2007
13 years 11 months ago
2007
Peer-to-peer systems have seen a tremendous growth in the last few years and peer-to-peer traffic makes a major fraction of the total traffic seen in the Internet. The dominating ...