6031 search results - page 398 / 1207 » Communicating Transaction Processes |
260
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
163
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
132
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper initially shows ROHC and packet aggregation significantly improve the number of successful voice calls. However, the improvement does not include processor...
155
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider the problem of detecting a primary user signal over a wireless channel by a cognitive radio with multiple antennas. We present a multiple antenna processing based e...
210
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...