2062 search results - page 370 / 413 » Derivatives of Logical Formulas |
CHI
2006
ACM
15 years 11 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
MOBIHOC
2003
ACM
15 years 10 months ago
2003
ACM
In wireless ad hoc networks, capacity can be traded for delay. This tradeoff has been the subject of a number of studies, mainly concentrating on the two extremes: either minimizi...
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
INFOCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—In this paper, we study the performance of the IEEE 802.11 MAC protocol under a range of jammers that covers both channel-oblivious and channel-aware jamming. We study two chann...
73
Voted
ICNS
2007
IEEE
15 years 5 months ago
2007
IEEE
— This paper presents a new end-to-end available bandwidth measurement tool called IGMPS (Improved Gap Model using Packet Size parameter). IGMPS is a lightweight tool based on a ...