4814 search results - page 647 / 963 » Combining abstract interpreters |
150
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— In this paper, we consider the co-channel interference mitigation capability of fixed relay aided wireless systems, where the relays are linked to the base station usi...
159
click to vote
ASIACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe two improvements to Gentry's fully homomorphic scheme based on ideal lattices and its analysis: we provide a more aggressive analysis of one of the hardn...
162
click to vote
FMAM
2010
15 years 3 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
169
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
137
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--With the deployment of more and more resiliencecritical Internet applications, there is a rising demand for multihomed network sites. This leads to the desire for simulta...