7055 search results - page 1044 / 1411 » Some New 4-Designs |
191
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
The popularity of web objects, and by extension the popularity of the web sites, besides the appearance of clear footprints in user's accesses that show a considerable spatia...
187
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
182
click to vote
CPM
2006
Springer
15 years 11 months ago
2006
Springer
We consider the problem of tiling a segment {0, . . . , n} of the discrete line. More precisely, we ought to characterize the structure of the patterns that tile a segment and thei...
210
click to vote
CRYPTO
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
197
click to vote
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Since we can hardly get semantics from the low-level features of the image, it is much more difficult to analyze the image than textual information on the Web. Traditionally, textu...