2850 search results - page 83 / 570 » On Timed Models and Full Abstraction |
161
click to vote
DSOM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Nowadays, network load is constantly increasing and high-speed infrastructures (1-10Gbps) are becoming increasingly common. In this context, flow-based intrusion detecti...
196
click to vote
TVLSI
2008
15 years 5 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
188
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- In this paper, we investigate communication strategies for the multiple access channel with feedback and correlated sources (MACFCS). The MACFCS models a wireless sensor...
149
click to vote
AUSAI
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. This paper derives two new information theoretic linear regression criteria based on the minimum message length principle. Both criteria are invariant to full rank affine...