4839 search results - page 861 / 968 » A survey of computational complexity results in systems and ... |
ICIC
2005
Springer
15 years 7 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is the third transport layer protocol next to TCP and UDP. The SCTP provides some distinctive features over the TCP. This paper is purpo...
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
133
click to vote
NOSSDAV
2004
Springer
15 years 7 months ago
2004
Springer
Retransmission can be used for loss recovery in continuous media applications but the number of retransmission attempts is bounded by the size of the playout buffer. For efficient...
113
click to vote
ICPP
2002
IEEE
15 years 6 months ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...