3765 search results - page 513 / 753 » Qualitative Action Systems |
169
click to vote
ISPW
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
150
click to vote
IWIA
2006
IEEE
16 years 21 days ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
161
click to vote
VTC
2006
IEEE
16 years 20 days ago
2006
IEEE
— In orthogonal frequency division multiplexed (OFDM) systems affected by carrier frequency offsets, frequency ambiguity resolution, i.e. the estimation of the part of the freque...
130
click to vote
ACSD
2005
IEEE
16 years 9 days ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
148
Voted
ETFA
2005
IEEE
16 years 9 days ago
2005
IEEE
In many digital control applications, data acquisition and process control are time-critical actions, assumed to be instantaneous and strictly periodic. However, aspects related t...