3342 search results - page 203 / 669 » Symbolic Robustness Analysis |
175
click to vote
WIOPT
2005
IEEE
16 years 2 days ago
2005
IEEE
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
179
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
168
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
* We present a method for representing and recognizing visual events using attribute grammars. In contrast to conventional grammars, attribute grammars are capable of describing fe...
177
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a practical coding scheme for the direct symmetric multiterminal source coding problem with remote source, when the noise between the remote source and the obs...
138
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— The average of the product of two Gaussian Q-functions having arguments as different scaled versions of the same Nakagami distributed fading gain magnitude is derived in close...