1035 search results - page 136 / 207 » Communications in cellular automata |
FATES
2004
Springer
14 years 3 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
IMECS
2007
13 years 11 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
ENTCS
2007
13 years 10 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
—In this paper, a new blind OFDM multicell detection method is proposed to determine the number of base stations in a cellular system. Using recent results of free deconvolution,...