2123 search results - page 391 / 425 » Composition of Cyber-Physical Systems |
IJCSA
2007
13 years 10 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...
TIT
1998
13 years 10 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...
TOPLAS
2002
13 years 10 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...
CGF
2008
13 years 10 months ago
2008
We present a GPU accelerated volume ray casting system interactively driving a multi-user light field display. The display, driven by a single programmable GPU, is based on a spec...
IEEEHPCS
2010
13 years 9 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...