4693 search results - page 462 / 939 » Verifying Hybrid Systems |
163
click to vote
JSAC
2006
15 years 7 months ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
158
click to vote
JSCIC
2007
15 years 7 months ago
2007
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
201
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
199
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
239
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...