Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allo ....Intelligent Resource Allocation Techniques for Next Generation Wireless Mobile Communication Networks. The project will develop radio and network resource allocation techniques to maximise network utilisation and to offer guaranteed Quality of Service (QoS) for multimedia traffic in 3G/4G wireless mobile communication networks. In particular, this work will study the problem of radio channel allocation in wireless IP (Internet protocol) multimedia networks. The project will develop resource allocation algorithms based on traffic conditions, link qualities and service requirements using statistical traffic models, mobile software agents and neural network techniques.
Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less