3820 search results - page 436 / 764 » Bounded Model Debugging |
148
click to vote
TOCL
2008
15 years 3 months ago
2008
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
117
click to vote
TWC
2008
15 years 3 months ago
2008
Expressions relating spectral efficiency, power, and Doppler spectrum, are derived for Rayleigh-faded wireless channels with Gaussian signal transmission. No side information on th...
133
click to vote
ITA
2000
15 years 3 months ago
2000
We consider the multiparty communication model de ned in 4] using the formalism from 8]. First, we correct an inaccuracy in the proof of the fundamental result of 6] providing a lo...
MOC
2002
15 years 3 months ago
2002
We deal with the iterative solution of linear systems arising from so-called dual-dual mixed finite element formulations. The linear systems are of a two-fold saddle point structur...
121
Voted
ESI
2010
15 years 2 months ago
2010
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...