5639 search results - page 984 / 1128 » Timed Abstract Non-interference |
110
click to vote
SI3D
1999
ACM
15 years 6 months ago
1999
ACM
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
130
Voted
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
HOTOS
1997
IEEE
15 years 6 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
115
click to vote
STOC
1989
ACM
15 years 6 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...
149
Voted
CIE
2007
Springer
15 years 5 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...