5200 search results - page 263 / 1040 » Symbolic models for control systems |
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— We propose a low-complexity adaptive highresolution channel prediction algorithm for pilot symbol assisted orthogonal frequency division multiplexing (OFDM) systems. Th...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
RTCSA
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...