5639 search results - page 132 / 1128 » Timed Abstract Non-interference |
103
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
146
Voted
ESA
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We prove that for every graph H, there exists a polynomial-time algorithm deciding if a planar graph can be contracted to H. We introduce contractions and topological min...
144
Voted
GLOBECOM
2010
IEEE
15 years 24 days ago
2010
IEEE
Abstract--Proper admission control in cognitive radio networks is critical in providing QoS guarantees to secondary unlicensed users. In this paper, we study the admission control ...
126
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
Abstract-- In this paper we present the Statistical Retimingbased Timing Analysis (SRTA) algorithm. The goal is to compute the timing slack distribution for the nodes in the timing...
139
Voted
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...