4966 search results - page 677 / 994 » its 2010 |
206
click to vote
SEKE
2010
Springer
15 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
151
click to vote
SIAMAM
2010
15 years 5 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
164
click to vote
SIAMCO
2010
15 years 5 months ago
2010
A parallel splitting method is proposed for solving systems of coupled monotone inclusions in Hilbert spaces, and its convergence is established under the assumption that solutions...
151
click to vote
SIAMCOMP
2010
15 years 5 months ago
2010
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
196
click to vote
SIAMDM
2010
15 years 5 months ago
2010
Abstract. We investigate the degree distribution resulting from graph generation models based on rank-based attachment. In rank-based attachment, all vertices are ranked according ...