4820 search results - page 123 / 964 » Implementing Signatures for C |
75
Voted
HCI
2007
15 years 4 months ago
2007
This paper presents an advanced model of a treadmill using balls which are actuated by a belt on a turntable. The platform is able to run at high speeds which exceed normal walking...
110
Voted
DLOG
2003
15 years 4 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
131
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
235
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
144
click to vote
CCR
2008
15 years 2 months ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...