5084 search results - page 86 / 1017 » Proving Possibility Properties |
167
Voted
TIT
2002
15 years 4 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...
128
click to vote
FSEN
2009
Springer
15 years 12 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 ...
112
click to vote
SCAM
2007
IEEE
15 years 11 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...
247
Voted
APPROX
2007
Springer
15 years 11 months 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...
126
click to vote
APLAS
2005
ACM
15 years 11 months 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...