73 search results - page 11 / 15 » The Strength of Multilinear Proofs |
160
click to vote
TPHOL
2009
IEEE
16 years 12 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
155
click to vote
SAINT
2008
IEEE
16 years 4 days ago
2008
IEEE
Interference ranges can dramatically affect the throughput in wireless sensor networks. While the transmission range defines the maximum physical range of a radio signal the inter...
137
Voted
ICC
2007
IEEE
16 years 2 days ago
2007
IEEE
— An interferometric ranging technique has been recently proposed as a possible way to localize ad hoc and sensor networks. Compared to the more common techniques such as receive...
139
click to vote
ECOOP
2007
Springer
15 years 12 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
152
click to vote
IH
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...