7202 search results - page 1321 / 1441 » Software System Engineering: A Tutorial |
163
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
156
click to vote
CCR
2011
15 years 1 days ago
2011
Data collected using traceroute-based algorithms underpins research into the Internet’s router-level topology, though it is possible to infer false links from this data. One sou...
160
Voted
SIAMAM
2011
14 years 12 months ago
2011
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
205
click to vote
SIAMCOMP
2011
14 years 12 months ago
2011
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...
188
click to vote
SIAMIS
2011
14 years 12 months ago
2011
Abstract. Many problems of low-level computer vision and image processing, such as denoising, deconvolution, tomographic reconstruction or superresolution, can be addressed by maxi...