769 search results - page 98 / 154 » Where Is the Proof |
137
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— To increase the availability of Free Space Network (FSO) networks, the optical link is provided with a redundant backup network, such as RF, to form a hybrid network. The immed...
150
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
123
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
133
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Many network applications are based on a group communications model where one party sends messages to a large number of authorized recipients and/or receives messages from mult...
135
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...