7512 search results - page 1192 / 1503 » Robust Computations with Dynamical Systems |
214
Voted
ISW
2004
Springer
16 years 1 days ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
184
click to vote
MWCN
2004
Springer
16 years 1 days ago
2004
Springer
: In Mobile Ad Hoc Networks (MANETs), all participating hosts are obligated to route and forward data for others to guarantee the availability of network applications and services....
175
Voted
RE
2004
Springer
16 years 1 days ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
156
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
171
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a new framework in mobile ad hoc networks (MANET) for reliable multipath routing with fixed delays based on packet level Forward Error Control (FEC). The nove...