B. Shulman, RFID for Patient Flow Management in Emergency Unit, IBM Corporation, 2006.

W. , K. Edwards, and R. E. Grinter, At home with ubiquitous computing: Seven challenges, 3th Int'l Conference on Ubiquitous Computing (UbiComp), pp.256-272, 2001.
DOI : 10.1007/3-540-45427-6_22

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

T. Kuflik, J. Sheidin, S. Jbara, D. Goren-bar, P. Soffer et al., Supporting small groups in the museum by context-aware communication services, Proceedings of the 12th international conference on Intelligent user interfaces , IUI '07, pp.305-308, 2007.
DOI : 10.1145/1216295.1216353

M. Adkins, J. Kruse, and R. Younger, Ubiquitous computing: omnipresent technology in support of Network Centric Warfare, Proceedings of the 35th Annual Hawaii International Conference on System Sciences, p.40, 2002.
DOI : 10.1109/HICSS.2002.993936

M. Roman and R. H. Campbell, Gaia, Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system, EW 9, pp.229-234, 2000.
DOI : 10.1145/566726.566772

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

A. Ranganathan, S. Chetan, J. Al-muhtadi, R. H. Campbell, and M. D. Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Third IEEE International Conference on Pervasive Computing and Communications, pp.7-16, 2005.
DOI : 10.1109/PERCOM.2005.26

R. Grimm, One.world: Experiences with a Pervasive Computing Architecture, IEEE Pervasive Computing, vol.03, issue.03, pp.22-30, 2004.
DOI : 10.1109/MPRV.2004.1321024

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

D. Garlan, D. P. Siewiorek, and P. Steenkiste, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334

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

Y. Li, J. I. Hong, and J. A. Landay, Topiary, Proceedings of the 17th annual ACM symposium on User interface software and technology , UIST '04, pp.217-226, 2004.
DOI : 10.1145/1029632.1029671

K. N. Truong, E. M. Huang, and G. D. Abowd, CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home, 6th Int'l Conference on Ubiquitous Computing (UbiComp), pp.143-160, 2004.
DOI : 10.1007/978-3-540-30119-6_9

A. K. Dey, T. Sohn, S. Streng, and J. Kodama, iCAP: Interactive Prototyping of Context-Aware Applications, 4th Int'l Conference on Pervasive Computing (Pervasive), pp.254-271, 2006.
DOI : 10.1007/11748625_16

M. W. Newman, A. Elliott, and T. F. Smith, Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition, 6th International Conference on Pervasive Computing (Pervasive), pp.213-227, 2008.
DOI : 10.1145/306549.306582

J. J. Pfeiffer-jr, Altaira: A Rule-based Visual Language for Small Mobile Robots, Journal of Visual Languages & Computing, vol.9, issue.2, pp.127-150, 1998.
DOI : 10.1006/jvlc.1998.0078

J. Gindling, A. Ioannidou, J. Loh, O. Lokkebo, and A. Repenning, LEGOsheets: a rule-based programming, simulation and manipulation environment for the LEGO Programmable Brick, Proceedings of Symposium on Visual Languages, pp.172-179, 1995.
DOI : 10.1109/VL.1995.520806

W. Jouve, J. Lancia, N. Palix, C. Consel, and J. Lawall, High-level Programming Support for Robust Pervasive Computing Applications, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp.252-255, 2008.
DOI : 10.1109/PERCOM.2008.9

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

W. Jouve, N. Palix, C. Consel, and P. Kadionik, A SIP-Based Programming Framework for Advanced Telephony Applications, 2nd Int'l Conference on Principles , Systems and Applications of IP Telecommunications (IPTComm), pp.1-20, 2008.
DOI : 10.1007/978-3-540-89054-6_1

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

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

W. Jouve, J. Bruneau, and C. Consel, DiaSim: A parameterized simulator for pervasive computing applications, 2009 IEEE International Conference on Pervasive Computing and Communications, 2008.
DOI : 10.1109/PERCOM.2009.4912793

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

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

Y. Yu, P. Manolios, and L. Lamport, Model Checking TLA+ Specifications, Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'99), pp.54-66, 1999.
DOI : 10.1007/3-540-48153-2_6

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

M. Margaret, D. W. Burnett, and . Mcintyre, Visual programming -guest editors' introduction, IEEE Computer, vol.28, issue.3, pp.14-16, 1995.

D. Kulkarni and A. Tripathi, Generative Programming Approach for Building Pervasive Computing Applications, First International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments (SEPCASE '07), p.3, 2007.
DOI : 10.1109/SEPCASE.2007.8

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

T. Weis, M. Knoll, A. Ulbrich, G. Muhl, and A. Brandle, Rapid Prototyping for Pervasive Applications, IEEE Pervasive Computing, vol.6, issue.2, pp.76-84, 2007.
DOI : 10.1109/MPRV.2007.41

J. Humble, A. Crabtree, T. Hemmings, K. Akesson, B. Koleva et al., ???Playing with the Bits??? User-Configuration of Ubiquitous Domestic Environments, 5th Int'l Conference on Ubiquitous Computing (UbiComp), pp.256-263, 2003.
DOI : 10.1007/978-3-540-39653-6_20

A. Svensk, Design for cognitive assistance, Human Factors and Ergonomics Society Europe Annual Meeting (HFES), 2003.