5570 search results - page 158 / 1114 » Applications of Fair Testing |
139
click to vote
INFOCOM
1995
IEEE
15 years 7 months ago
1995
IEEE
— We consider a multiuser network that is shared by noncooperative users. Each user sets up virtual paths that optimize its own selfish performance measure. This measure account...
110
click to vote
AAAI
2004
15 years 5 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
112
click to vote
WSC
2004
15 years 5 months ago
2004
We summarize the results of an experimental performance evaluation of using an empirical histogram to approximate the steady-state distribution of the underlying stochastic proces...
123
click to vote
AAAI
1997
15 years 5 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
122
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...