M. Abadi and C. Fournet, Mobile values, new names, and secure communication, Proceedings of the 28th ACM Symposium on Principles of Programming Languages (POPL'01), 2001.
DOI : 10.1145/373243.360213

URL : https://hal.archives-ouvertes.fr/hal-01423924

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

L. Andrade and J. Fiadeiro, Architecture Based Evolution of Software Systems, Formal Methods for Software Architectures, 2003.
DOI : 10.1007/978-3-540-39800-4_8

C. Aurrecoechea, A. Campbell, and L. Hauw, A survey of QoS architectures, Multimedia Systems, vol.6, issue.3, 1998.
DOI : 10.1007/s005300050083

C. Bettstetter and C. Renner, A comparison of service discovery protocols and implementation of the service location protocol, Proceedings of the 6th EUNICE Open European Summer School: Innovative Internet Applications, 2000.

K. Bhargavan, C. Fournet, and A. Gordon, A semantics for web services authentication, Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL'01), 2004.

J. Broch, D. Maltz, D. Johnson, Y. Hu, and J. Jetcheva, A performance comparison of multi-hop wireless ad hoc network routing protocols, Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '98, 1998.
DOI : 10.1145/288235.288256

H. Dijk, K. Langendoen, and H. Sips, ARC: A bottom-up approach to negotiated QoS, Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications (WM- CSA'00), 2000.

A. Fox, S. D. Gribble, and Y. Chawathe, Adapting to network and client variation using active proxies: Lessons and perspectives. Special Issue of IEEE Personal Communications on Adaptation, 1998.
DOI : 10.1109/98.709365

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

X. Fu, W. Shi, A. Akkerman, and V. Karamcheti, CANS: composable, adaptive network services infrastructure, Proceedings of the USENIX Symposium on Internet Technologies and Systems (USITS), 2001.
DOI : 10.1111/mice.12204

P. Grace, G. Blair, and S. Samuel, Middleware awareness in mobile computing, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings., 2003.
DOI : 10.1109/ICDCSW.2003.1203583

V. Issarny, C. Kloukinas, A. Zarras13-]-v, D. Issarny, F. Sacchetti et al., Systematic aid for developing middleware architectures Developing ambient intelligence systems: A solution based on web services, Communications of the ACM Journal of Automated Software Engineering, vol.45, issue.6, 2002.

D. and L. Métayer, Software architecture styles as graph grammars, Proceedings of the ACM SIGSOFT'96 Symposium on Foundations of Software Enineering, pp.15-23, 1996.

J. Liu and V. Issarny, Enhanced Reputation Mechanism for Mobile Ad Hoc Networks, Proceedings of the 2nd International Conference on Trust Management, 2004.
DOI : 10.1007/978-3-540-24747-0_5

URL : https://hal.archives-ouvertes.fr/inria-00414803

J. Liu and V. Issarny, QoS-aware service location in mobile ad hoc networks, Proceedings of the 5th IEEE International Conference on Mobile Data Management, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00414802

J. Magee and J. Kramer, Dynamic structure in software architecture, Proceedings of the ACM SIGSOFT'96 Symposium on Foundations of Software Engineering, pp.3-14, 1996.

R. Milner, Communicating and Mobile Systems: The ?- Calculus, 1999.

C. Pahl and M. Casey, Ontology support for Web service processes, Proc. of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2003.
DOI : 10.1145/940071.940099

URL : http://doras.dcu.ie/16527/

G. Picco, A. Murphy, and G. Roman, Developing mobile computing applications with LIME, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000.
DOI : 10.1145/337180.337626

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Ritter, Mobility network systems, ACM Queue ? Tomorrow's Computing Today, vol.1, issue.3, 2003.

G. Roman, G. Picco, and A. Murphy, Software engineering for mobility, Proceedings of the conference on The future of Software engineering , ICSE '00, 2000.
DOI : 10.1145/336512.336567

N. Ryan and A. Wolf, Using Event-based Parsing to Support Dynamic Protocol Evolution, 2003.
DOI : 10.1109/icse.2004.1317463

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. Sabata, S. Chatterjee, M. Davis, J. Sydir, and T. Lawrence, Taxonomy for QoS specifications, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1997.
DOI : 10.1109/WORDS.1997.609931

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. Sailhan and V. Issarny, Cooperative Caching in Ad Hoc Networks, Proceedings of the 4th International Conference on Mobile Data Management, 2003.
DOI : 10.1007/3-540-36389-0_2

URL : https://hal.archives-ouvertes.fr/inria-00414796

J. P. Sousa and D. Garlan, Aura: An Architectural Framework for User Mobility in Ubiquitous Computing Environments, Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture, 2002.
DOI : 10.1007/978-0-387-35607-5_2

D. B. Terry, M. M. Theimer, K. P. Demers, M. J. Spreitzer, and C. H. Hauser, Managing update conflicts in a weakly connected replicated storage system, Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, 1995.