214 search results - page 2 / 43 » A CSP Model for Mobile Channels |
INFOCOM
2012
IEEE
11 years 7 months ago
2012
IEEE
Cognitive radio gives users the ability to switch channels and make use of dynamic spectral opportunities. However, switching channels takes time, and may disrupt the quality of a...
SIMUTOOLS
2008
13 years 6 months ago
2008
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
ENTCS
2008
13 years 5 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
CACM
2005
13 years 5 months ago
2005
them as an abstract cellular model where users access information through access points. ract model consists of a base station, a number of clients, and a number of channels. A cli...
FM
1999
Springer
13 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...