4693 search results - page 567 / 939 » Verifying Hybrid Systems |
233
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
193
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The DVB-H standard has been defined to provide digital video broadcast to mobile handheld devices. However, without a request channel, a handheld device may encounter data loss...
157
click to vote
LPNMR
1990
Springer
15 years 11 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
196
click to vote
DIMVA
2008
15 years 8 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
205
click to vote
ITIIS
2008
15 years 7 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...