6978 search results - page 1101 / 1396 » On Proofs in System P |
208
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...
224
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
203
click to vote
JCC
2011
15 years 1 months ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
223
click to vote
TSP
2010
15 years 1 months ago
2010
A cross-layer scheme, namely ALOHA With Collision Resolution (ALOHA-CR), is proposed for high throughput wireless communications in a cellular scenario. Transmission occurs in a t...
235
click to vote
CNSR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—In recent years, Peer-to-Peer (P2P) streaming systems experienced tremendous growth and became one of the largest bandwidth consumer on Internet. PPLive, one of the most...