5084 search results - page 167 / 1017 » Proving Possibility Properties |
166
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
161
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
119
click to vote
VTC
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— The tower-top deployment of base station electronics could prove of utility in future cellular communication applications. We present a scalable, non-radiative, automat...
164
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of characterizing user equilibria and optimal solutions for selfish routing in a given network. We extend the known models by considering malicious behavio...
156
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
Assume that a set of imprecise points is given, where each point is specified by a region in which the point may lie. We study the problem of computing the smallest and largest pos...