159 search results - page 23 / 32 » Weak Equivalences in Psi-Calculi |
96
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Linear network coding is a promising technology that can maximize the throughput capacity of communication network. Despite this salient feature, there are still many challenges...
92
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, security evaluation of an important watermarking class based on quantization is given. Theoretical developments and practical simulations are used to measure the se...
85
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We extend in this paper the concept of the P-admissible floorplan representation to that of the P*-admissible one. A P*-admissible representation can model the most general floorp...
117
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
As part of a large effort to acquire large repositories of facts from unstructured text on the Web, a seed-based framework for textual information extraction allows for weakly sup...
197
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...