An evaluation mechanism for QoS management in wireless systems

Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS

Volumn 2, Issue , 2005, Pages 150-154

  Bordbar, Behzad ^a   Anane, Rachid ^b   Okano, Kozo ^c  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b Institute for Clean Growth and Future Mobility   (United Kingdom)

^c OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ADMISSION CONTROL; PERSONAL AREA NETWORKS; TIMED AUTOMATA; WIRELESS SYSTEMS;

AUTOMATA THEORY; COMPUTER ARCHITECTURE; INFORMATION MANAGEMENT; MATHEMATICAL MODELS; QUALITY OF SERVICE;

WIRELESS TELECOMMUNICATION SYSTEMS;

EID: 23944493293     PISSN: 15219097     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPADS.2005.87     Document Type: Conference Paper

References (19)

1. L. Ageto, P. Bouyer, A. Burgueo and K. G. Larsen The Power of Reachability Testing for Timed Automata, in Theoretical Computer Science 300(1-3) 411-475, 2003.
2. J Bengtsson, W. O. D. Griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and Wang Yi Automated Analysis of an Audio Control Protocol Using Uppaal, J In Journal of Logic and Algebraic Programming, volumes 52-53, pages 163-181, Holger Hermanns and Joost-Pieter Katoen (eds.), 2002
3. B.Bordbar and R. Anane. An Architecture for Automated QoS Resolution in Wireless Systems, Proceedings of the IEEE AINA 2005 International Workshop on Web and Mobile Information Systems (WAMIS), March 2005, Taipei, Taiwan, 774-779.
4. B. Bordbar and K. Okano. Verification of Timeliness QoS Properties in Multimedia Systems, Proceeding of 5th International Conference on Formal Engineering Methods, Lecture notes in Computer Science, pp 523-540, 2003
5. R. S. Cardoso and F. Kon, A mobile Agent Infrastructure for QoS Negotiation of Adaptive Distributed Applications, CoopIS/DOA/ODBASE (2) 2004, 1590-1607
6. Burness, L., Hepworth, E., Lopez, A. and Manner, J., Architecture for Providing QoS in an IP-based Mobile Network, Proc. 1ST Mobile Communications Summit 2001, 9-12 September, Barcelona, Spain
7. C.D Cavanaugh, L.R. Welch, B.A. Shirazi, E. Huh and S. Anwar, Quality of Service Negotiation for Distributed, Dynamic Real-time Systems, Parallel and Distributed Processing 15 IDPDS 2000 Workshops, LNCS 1800, Cancun Mexico, 2000, 757-765.
8. D. Chalmers, M. Sloman: A Survey of Quality of Service in Mobile Computing Environments, IEEE Communications Surveys, 2nd Quarter 1999
9. J.C. Chen, A. McAuley, A. Caro, S. Baba, Y. Ohba, P. Ramanathan. A QoS Architecture for Future Wireless IP Networks. In Twelfth IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2000), Las Vegas, NV, 2000
10. J. C. Chen, A. McAuley, V. Sarangan, S. Baba, and Y. Ohba, Dynamic Service Negotiation Protocol (DSNP) and Wireless DiffServ, ICC'02, New York city, 2002.
11. IEEE Computer Society. Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. IEEE Standard 802.11, 1999.
12. K. G. Larsen, Paul Pettersson and W. Yi UPPAAL in a Nutshell Springer International Journal of Software Tools for Technology, 1(1+2). 1997
13. S. Lu, K-W Lee and V. Bharghavan, Adaptive Service in Mobile Computing Environments, IFIP International Workshop on Quality of Service, 1997
14. P. Nanda and A. Simmonds, Policy Based Architecture for QoS over Differentiated Services Network. International Conference on Internet Computing, Las Vegas, 2003, 866-872
15. G. Pau, D. Maniezzo, S. Das, Y. Lim, J. Pyon, H. Yu, M. Gerla, A Cross-Layer Framework for Wireless LAN QoS Support, IEEE International Conference on Information Technology Research and Education, New Jersey, USA, August 10-13, 2003.
16. nd Edition, Addison-Wesley, 2003
17. T. Sugawara and K. Tatsukawa, Table-based QoS Control for Embedded Real-Time Systems, ACM Workshop on Languages, Compilers and Tools for Embedded Systems, 1999
18. G. Stattenberger and T. Braun, QoS Provisioning for Mobile IP Users: Applications and Services in Wireless Networks, Hermes Science, 2001
19. UPPAAL www.uppaal.com