9806 search results - page 1824 / 1962 » Engineering adaptive requirements |
176
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— Novel concepts are introduced for finding the relationship between multiuser detection (MUD) and multiuser transmission (MUT), so that the study in MUT can benefit from the w...
178
click to vote
MICRO
2007
IEEE
16 years 24 days ago
2007
IEEE
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...
162
click to vote
PG
2007
IEEE
16 years 24 days ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
166
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
198
click to vote
SECON
2007
IEEE
16 years 24 days ago
2007
IEEE
—Mobile ad hoc networks (MANETs) are a critical technology in filling the gap where the network infrastructure is insufficient or does not exist at all. The dynamic topology of...