1833 search results - page 190 / 367 » Mechanized Verification with Sharing |
143
click to vote
CN
2007
15 years 6 months ago
2007
—Interactivity in the transport protocol can greatly benefit transport friendly applications generating streaming traffic. Recently we have developed iTCP, which can provide even...
163
click to vote
JSAC
2008
15 years 6 months ago
2008
We consider a wireless collision channel, shared by a finite number of users who transmit to a common base station. Each user wishes to minimize its average transmission rate (or p...
163
click to vote
BC
2002
15 years 6 months ago
2002
Synaptic plasticity is believed to underlie the formation of appropriate patterns of connectivity that stabilize stimulus-selective reverberations in the cortex. Here we present a ...
160
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
Information sharing and protection against leakage is a critical problem especially for organisations having sensitive information. Sharing content between individuals in the same...
233
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...