5639 search results - page 402 / 1128 » Timed Abstract Non-interference |
102
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
120
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: XML documents are widely used as a generic container for textual contents. As they are increasingly growing in size, XML databases have come up to efficiently store and q...
143
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
113
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we show that the Ate pairing, originally defined for elliptic curves, generalises to hyperelliptic curves and in fact to arbitrary algebraic curves. It has...
113
click to vote
GD
2007
Springer
15 years 10 months ago
2007
Springer
We propose a visualization approach for large dynamic graph structures with high degree variation and low diameter. In particular, we reduce visual complexity by multiple modes of ...