5084 search results - page 86 / 1017 » Proving Possibility Properties |
207
click to vote
TIT
2002
15 years 6 months ago
2002
We consider direct sequence code division multiple access (DS-CDMA), modeling interference from users communicating with neighboring base stations by additive colored noise. We con...
168
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
138
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
270
Voted
APPROX
2007
Springer
16 years 27 days ago
2007
Springer
: In the distribution-free property testing model, the distance between functions is measured with respect to an arbitrary and unknown probability distribution D over the input dom...
145
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Dependences for Alarm Diagnosis Xavier Rival ´Ecole Normale Sup´erieure 45, rue d’Ulm, 75230, Paris cedex 5, France We propose a framework for dependence analyses, adapted –a...