6978 search results - page 1204 / 1396 » On Proofs in System P |
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Content sharing through vehicle-to-vehicle communication can help people find their interested content on the road. In VANETs, due to limited contact duration and unreliable wire...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
Communities of practice (COPs) have been around since the founding of the first social networks many millennia ago. Organizations around the world over the last two decades have l...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
CSE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...
ICPP
2009
IEEE
14 years 5 months ago
2009
IEEE
Providing continuous on-demand streaming services with VCR functionality over ubiquitous environments is challenging due to the stringent QoS requirements of streaming service as ...