6253 search results - page 1077 / 1251 » Use Case Modeling Guidelines |
128
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
129
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Time-varying graphs are widely used to model communication and sensing in multi-agent systems such as mobile sensor networks and dynamic animal groups. Connectivity is often de...
134
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
135
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper investigates the problem of the formation of an uplink tree structure among the IEEE 802.16j network’s relay stations (RSs) and their serving base station (MR-BS)....
145
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper develops a mechanism for detecting session hijacking attacks in wireless networks. The proposed scheme is based on detecting abrupt changes in the strength of the re...