5752 search results - page 745 / 1151 » Informative Labeling Schemes |
181
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
159
click to vote
ESORICS
2003
Springer
16 years 3 days ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
209
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
This paper studies the tracking performance of linear time-invariant multi-variable discrete-time systems. The specific problem under consideration is to track a multi-tone sinus...
199
click to vote
CN
2008
15 years 7 months ago
2008
The primary feature of cognitive radios for wireless communication systems is the capability to optimize the relevant communication parameters given a dynamic wireless channel env...
200
click to vote
MACOM
2010
15 years 1 months ago
2010
One of the applications of wireless sensor networks currently undergoing active research focuses on the scenario where the information generated by a data source S is simultaneousl...