1699 search results - page 315 / 340 » On the Expressive Power of QLTL |
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Transmit preprocessing employed at the basestation (BS) has been proposed for simplifying the design of the mobile receiver. Provided that the channel impulse response (CIR) of...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Ultra-wideband (UWB) impulse radio is a promising technique for low-power bio-medical communication systems. While a range of analog and digital UWB architectures exist...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
MICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...