1202 search results - page 193 / 241 » Sortings for Reactive Systems |
149
click to vote
ATVA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
126
click to vote
ATVA
2011
Springer
14 years 1 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
126
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
The Web has established itself as the largest public data repository ever available. Even though the vast majority of information on the Web is formatted to be easily readable by ...
172
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
We define a match join of R and S with predicate to be a subset of the -join of R and S such that each tuple of R and S contributes to at most one result tuple. Match joins and t...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...