4434 search results - page 791 / 887 » On the Composition of Hybrid Systems |
148
click to vote
JSAC
2007
15 years 6 months ago
2007
— In this paper, the prediction of received power in the out-of-zone of a Dedicated Short Range Communications (DSRC) system operating inside a typical arched highway tunnel is d...
207
click to vote
CIB
2004
15 years 6 months ago
2004
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
156
click to vote
IJCSA
2007
15 years 6 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
190
click to vote
TIT
1998
15 years 6 months ago
1998
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
155
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...