1980 search results - page 239 / 396 » Compositional Model Checking of Real Time Systems |
141
click to vote
ARC
2010
Springer
15 years 3 months ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
138
Voted
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
145
Voted
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents the person identification system developed at Athens Information Technology and its performance in the CLEAR 2007 evaluations. The system operates on the audiov...
122
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...
117
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...