925 search results - page 108 / 185 » Connectivity on Complete Lattices |
150
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
We propose a hierarchical, cluster based semi-distributed routing protocol for a mobile ad hoc network. The network graph is partitioned into clusters using heuristics and the shor...
159
click to vote
IPTPS
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new cryptographic technique, Acknowledgment Compression, permitting senders of multicast data to verify that all interested parties have either received the data or l...
167
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
136
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
Worm detection and response systems must act quickly to identify and quarantine scanning worms, as when left unchecked such worms have been able to infect the majority of vulnerabl...
136
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Interconnect delay dominates system delay in modern circuits, and with reduced feature sizes, coupling capacitance and signal crosstalk have become significant issues. By spacing...