1816 search results - page 282 / 364 » Trace oblivious computation |
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—As an emerging application scenario of wireless technologies, vehicular communications have been initiated not only for enhancing the transportation safety and driving e...
ICDS
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
ICNP
2007
IEEE
14 years 3 months ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...
ICNP
2007
IEEE
14 years 3 months ago
2007
IEEE
— TCP is the dominant transport protocol used in the Internet and its performance fundamentally governs the performance of Internet applications. It is well-known that packet los...