5639 search results - page 990 / 1128 » Timed Abstract Non-interference |
124
Voted
CCR
2008
15 years 1 months ago
2008
y be more complex than the course modeling abstraction we adopted in [2]. Real AS relationships may depend on a peering point, prefix, and even time [2]. For example, ISPs that dom...
137
Voted
PERCOM
2010
ACM
15 years 8 days ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
126
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
100
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Configurations of dynamic points in multiple views are interesting to study. In this paper, we present several view and timeindependent constraints on different configura...
120
Voted
VIS
2007
IEEE
2007
IEEE
Modeling Perceptual Dominance Among Visual Cues in Multilayered Icon-based Scientific Visualizations
16 years 3 months ago
ization method is an abstract function that transforms a scientific dataset into a visual representation to facilitate data exploration. In turn, a visualization display is the vis...