12459 search results - page 2242 / 2492 » cans 2006 |
214
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
188
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
Traffic monitoring is essential for accounting user traffic and detecting anomaly traffic such as Internet worms or P2P file sharing applications. Since typical Internet traffic mo...
214
click to vote
APPROX
2006
Springer
15 years 11 months ago
2006
Springer
We consider Glauber dynamics on finite spin systems. The mixing time of Glauber dynamics can be bounded in terms of the influences of sites on each other. We consider three parame...
175
click to vote
APPROX
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
211
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
There have been active discussions on how to derive a consistent cryptographic key from noisy data such as biometric templates, with the help of some extra information called a ske...