5855 search results - page 834 / 1171 » Test generation and minimization with |
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
161
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we design coordination policies for a routing problem requiring human-assisted classification of targets through analysis of information gathered on-site by auto...
189
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In a distributed space-time coding scheme, based on the relay channel model, the relay nodes co-operate to linearly process the transmitted signal from the source and forward t...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper focuses on the assignment of discrete points to two robots, in the presence of geometric and kinematic constraints between the robots. The individual points have dif...
186
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—IP network mobility is emerging as a major paradigm for providing continuous Internet access while a set of users are on the move in a transportation system. The intense interes...