4708 search results - page 307 / 942 » Generating the Structure of Argument |
156
click to vote
MOBICOM
2004
ACM
16 years 3 days ago
2004
ACM
In order to meet performance goals, it is widely agreed that vehicular ad hoc networks (VANETs) must rely heavily on node-to-node communication, thus allowing for malicious data t...
178
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
194
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...
165
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
178
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...