209 search results - page 18 / 42 » Dealing with stochastic reachability |
120
click to vote
IJNSEC
2007
15 years 1 months ago
2007
The ability of communicating with a selected party anonymously is an important aspect of network security. Communicating anonymously means that no adversary can discern who is com...
116
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
116
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
135
click to vote
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
112
Voted
TON
2010
14 years 8 months ago
2010
Abstract--This paper proposes KISS, a novel Internet classification engine. Motivated by the expected raise of UDP traffic, which stems from the momentum of P2P streaming applicati...