4693 search results - page 378 / 939 » Verifying Hybrid Systems |
188
click to vote
JDCTA
2010
15 years 1 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
212
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
150
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
-This paper addresses the problem of performance analysis for maximum likelihood (ML) detection in two-input multiple-output multiplexing systems. A novel analytical method is pres...
203
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Orthogonal Frequency Division Multiplexing (OFDM) has been employed in numerous wireless standards. However, the performance of OFDM systems is degraded by both the Carrier Fre...
181
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...