3943 search results - page 326 / 789 » Architecture-Level Requirements Specification |
177
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
197
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Flooding protocols for wireless networks in general have been shown to be very inefficient and therefore are mainly used in network initialization or route discovery and maintenan...
176
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper develops a connection establishment framework for protecting connections against single-link failures using link protection at the granularity of a connection, referred...
173
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
183
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...