4693 search results - page 459 / 939 » Verifying Hybrid Systems |
155
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Integrated circuit (IC) design for a wireless BCI system is put forward in this paper. The system is composed of an electrode, a stimulator, antennas, and an integrated circuit ...
193
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
147
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a novel analysis on the decoding convergence of Time Hopping (TH) and Direct Sequence (DS) Code-Division Multiple-Access (CDMA) Ultrawide Bandwidth (UWB) sy...
191
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Limited feedback systems that simultaneously transmit to multiple users are noise power limited at low SNR and interference power limited at high SNR. Specifically, there is a...
179
click to vote
ICMB
2005
IEEE
16 years 21 days ago
2005
IEEE
Security in mobile commerce is becoming more important due to increasing demand from users wishing to perform online transactions over mobile devices. Security is one of the criti...