We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
This paper describes technologies that enable IP service providers to offer tighter service level agreements for IP performance, in order to create competitive advantage and bette...
We present a model for soft handoff in wireless cellular networks. In such networks, due to overlapping cells, handoffs are not instantaneous and multiple channels may be occupied...
To support quality of service guarantees in a scalable manner, aggregate scheduling has attracted a lot of attention in the networking community. However, while there are a large ...
In the future, voice communication is expected to migrate from the public switched telephone network to the Internet. Because of the particular characteristics (low volume and bur...