4820 search results - page 491 / 964 » Implementing Signatures for C |
179
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we consider an alternative, highly agile approach called backpressure routing for Delay Tolerant Networks (DTN), in which routing and forwarding decisions are made o...
126
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
192
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
158
click to vote
EGH
2010
Springer
15 years 4 months ago
2010
Springer
We present a rasterizer, based on time-dependent edge equations, that computes analytical visibility in order to render accurate motion blur. The theory for doing the computations...
156
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Existing objective speech-intelligibility measures are suitable for several types of degradation, however, it turns out that they are less appropriate for methods where noisy spee...