467 search results - page 77 / 94 » Roadmap of Infinite Results |
108
Voted
IEE
2008
15 years 1 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
CACM
2008
15 years 14 days ago
2008
What can you do with a million images? In this paper we present a new image completion algorithm powered by a huge database of photographs gathered from the Web. The algorithm pat...
107
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
140
click to vote
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
IFIPTCS
2010
14 years 11 months ago
2010
Most highly dynamic infrastructure-less networks have in common that the assumption of connectivity does not necessarily hold at a given instant. Still, communication routes can be...