440 search results - page 26 / 88 » A Temporal Calculus of Communicating Systems |
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
ICTAI
2003
IEEE
14 years 19 days ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
TCS
2008
13 years 7 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— A novel method based on Markov chain theory is proposed for analyzing the effect of feedback delay on a transmit beamforming system with limited feedback. Using this method, th...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— A novel method is proposed for reducing the feedback rate of a transmit beamforming system with feedback of quantized channel state information. Specifically, the channel is m...