4631 search results - page 296 / 927 » Experiences with an Environment Generation System |
147
click to vote
VTC
2007
IEEE
16 years 29 days ago
2007
IEEE
—A complete multiple-input multiple-output (MIMO) communication system with orthogonal frequency-division multiplexing (OFDM) based on multiple excitation modes for a single circ...
157
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
181
click to vote
AAI
2006
15 years 6 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
217
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
This article outlines several projects aimed at generating electrical energy by passively tapping a variety of human body sources and activities. After summarizing different energ...
181
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...