769 search results - page 98 / 154 » Where Is the Proof |
GLOBECOM
2008
IEEE
14 years 3 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...
ISORC
2008
IEEE
14 years 3 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 ...
TPHOL
2008
IEEE
14 years 3 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...
INFOCOM
2007
IEEE
14 years 3 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...
CCS
2007
ACM
14 years 3 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...