3820 search results - page 678 / 764 » Bounded Model Debugging |
124
click to vote
FSTTCS
2010
Springer
15 years 3 days ago
2010
Springer
ABSTRACT. Motivated by economic thought, a recent research agenda has suggested the algorithmic study of combinatorial optimization problems under functions which satisfy the prope...
139
click to vote
IMC
2010
ACM
15 years 23 hour ago
2010
ACM
The Internet topology data collected through traceroute exploration has been extensively studied in the past. In particular, a remarkable property of the Internet, the power-law s...
129
click to vote
PIMRC
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--In two-tier networks consisting of a macrocell overlaid with femtocells in co-channel deployment and closed-access policy, spatial reuse is achieved at the price of sever...
152
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
145
click to vote
ICITS
2009
14 years 12 months ago
2009
In a multisecret sharing scheme, several secret values are distributed among a set of n users, and each secret may have a different associated access structure. We consider here un...