277 search results - page 22 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
109
click to vote
ERCIMDL
1998
Springer
15 years 4 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
131
click to vote
SIGCOMM
1991
ACM
15 years 3 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
DAGSTUHL
2006
15 years 1 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
102
click to vote
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
114
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
We present a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We tackle this ...