Sciweavers

5334 search results - page 135 / 1067
» Communicating quantum processes
Sort
View
ICC
2008
IEEE
139views Communications» more  ICC 2008»
15 years 10 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston
145
Voted
ICC
2007
IEEE
119views Communications» more  ICC 2007»
15 years 10 months ago
Antenna Array Processing in Fading and Interference: An Interference-Cancellation vs. Diversity Comparative Performance
— We provide a comparative performance of two different array processing techniques in a wireless system with multiple receive antennas in fading channels with co-channel interfe...
Juan M. Romero-Jerez, Andrea J. Goldsmith
142
Voted
ICCNMC
2005
Springer
15 years 9 months ago
DHAI: Dynamic Hierarchical Agent-Based Infrastructure for Supporting Large-Scale Distributed Information Processing
The emergence of Internet, Intranet, local area networks, and ad hoc wireless networks introduces a plethora of new problems in information processing. In order to overcome these p...
Jinlong Wang, Congfu Xu, Huifeng Shen, Zhaohui Wu,...
133
Voted
MATA
2001
Springer
158views Communications» more  MATA 2001»
15 years 8 months ago
Network Processing of Mobile Agents, by Mobile Agents, for Mobile Agents
This paper presents a framework for building network protocols for migrating mobile agents over a network. The framework allows network protocols for agent migration to be naturall...
Ichiro Satoh
122
Voted
CONCUR
2000
Springer
15 years 8 months ago
An Implicitly-Typed Deadlock-Free Process Calculus
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
Naoki Kobayashi, Shin Saito, Eijiro Sumii