2016 search results - page 225 / 404 » Some observations on HC-128 |
131
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we measure correlation between link analysis characteristics for Web pages such as in- and out-degree, PageRank and RBS with those obtained from real Web traffic ana...
151
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we describe VPlay, a multi-touch tabletop application that allows users to mix and manipulate multiple video streams in real-time. Our aim is to explore how such an ...
157
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Software engineering is foremost an engineering discipline. Engineering in general and software engineering specifically has to balance many factors to achieve viable tradeoffs?an ...
149
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Although distributed key generation (DKG) has been studied for some time, it has never been examined outside of the synchronous setting. We present the first realistic DKG archit...
181
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...