4693 search results - page 385 / 939 » Verifying Hybrid Systems |
179
click to vote
FORMATS
2003
Springer
16 years 17 hour ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
146
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
173
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a simple equalizer for a recent multicarrier block transmission scheme which pads zeros (as opposed to a cyclic prefix) in each transmitted block. In the abse...
167
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
186
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present two failures in the blind signatures based voting system Votopia [2] which has been tested during the last World Soccer Cup. We then propose a fix which r...