5639 search results - page 7 / 1128 » Timed Abstract Non-interference |
128
click to vote
ENTCS
2007
15 years 1 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
126
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
ENTCS
2006
15 years 1 months ago
2006
models and full abstraction Gavin Lowe and Jo
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
FOCS
1995
IEEE
15 years 5 months ago
1995
IEEE
d Abstract) Noga Alon ∗ Jeff Edmonds † Michael Luby ‡ An (n, c, , r)-erasure code consists of an encoding algorithm and a decoding algorithm with the following properties. ...