Mobile systems from a validation perspective: A case study

Sixth International Symposium on Parallel and Distributed Computing, ISPDC 2007

Volumn , Issue , 2007, Pages

  Waeselynck, Hélène ^a   Micskei, Zoltán ^b   Nguyen, Minh Duc ^a   Rivière, Nicolas ^a  

^a LAAS CNRS   (France)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

MOBILE DEVICES; NETWORK PROTOCOLS;

GROUP MEMBERSHIP; MOBILE APPLICATIONS; MOBILE SYSTEMS;

WIRELESS NETWORKS;

EID: 35348841518     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2007.37     Document Type: Conference Paper

References (10)

1. Q. Huang, C. Julien, and G. Roman, "Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks", IEEE Trans. on Mobile Computing, 3(2), April 2004, pp. 192-204.
2. G.P. Picco, A.L. Murphy, and G.C. Roman, "LIME: A Middleware for Logical and Physical Mobility", Proc. 21st Int. Conf. Distributed Computing Systems, IEEE CS Press, USA, July 2001, pp. 524-536.
3. Z. Micskei et al., "Analysis of a group membership protocol for Ad-hoc networks", LAAS Report no. 06797, France, November 2006.
4. E. Belloni and C. Marcos, "MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications", Proc. of the XXIV Int. Conf. of the Chilean Computer Science Society (SCCC '04), IEEE CS Press, Chile, November 2004, pp. 3-13.
5. H. Baumeister et al., "UML for Global Computing", Proc. of Global Computing 2003, LNCS 2874, Springer-Verlag, Italy, February 2003, pp. 1-24.
6. S. Acharya and R.K. Shyamasundar, "MOBICHARTS: A Notation to Specify Mobile Computing Applications", Proc. of 36th Hawaii Int. Conf. on System Sciences (HICSS-36), IEEE CS Press, Hawaii, January 2003, pp 298-308.
7. F. Ngani Noudem and C. Viho, "Modeling, Verifying and Testing the Mobility Management in the Mobile Ipv6 Protocol", Proc. 8th Int. Conf. on Telecommunications (ConTEL 2005), Vol.2, IEEE CS Press, Croatia, June 2005, pp. 619-626.
8. A. Cavalli et al., "A validation Model for the DSR protocol", Proc 24th Int. Conf. on Distributed Computing Systems Workshops (ICDCSW04), IEEE CS Press, Japan, March 2004, pp.768-773.
9. R. Morla and N. Davies, "Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment", IEEE Pervasive computing, Vol.3, No.2, July-September 2004, pp.48-56.
10. C. Schroth et al., "Simulating the traffic effects of vehicle-to-vehicle messaging systems", Proc. 5th Int. Conf. on ITS Telecommunications (ITST 2005), France, June 2005.