6147 search results - page 966 / 1230 » Requirements, Architectures and Risks |
209
click to vote
MOBIHOC
2003
ACM
16 years 15 days ago
2003
ACM
This paper provides mobility estimation and prediction for a variant of GSM network which resembles an adhoc wireless mobile network where base stations and users are both mobile....
214
click to vote
SASN
2003
ACM
16 years 15 days ago
2003
ACM
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...
212
click to vote
SIGSOFT
2003
ACM
16 years 15 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
174
click to vote
SIGUCCS
2003
ACM
16 years 15 days ago
2003
ACM
This paper will explore the SNet model that Hunter College of the City University of New York developed and implemented. During the Spring of 2002, CUNY as a central organization ...
177
click to vote
SPAA
2003
ACM
16 years 15 days ago
2003
ACM
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...