3719 search results - page 677 / 744 » order 2010 |
113
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this work, we design a method for creating public key broadcast encryption systems. Our main technical innovation is based on a new “two equation” technique for revoking us...
149
Voted
WCNC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Inter-cell interference (ICI) is always a big obstacle to attain wide area coverage and high spectral efficiency in cellular systems. In this work we make a study of two well-kn...
120
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
131
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
141
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
In recent years, we have seen a surge of interest in enabling communications over meshed wireless networks. Particularly, supporting peer-to-peer communications over a multi-hop w...