Service composition and advanced user interfaces in the home of tomorrow: The SM4All approach

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering

Volumn 70 LNICST, Issue , 2011, Pages 12-19

  Catarci, Tiziana ^a   Di Ciccio, Claudio ^a   Forte, Vincenzo ^a   Iacomussi, Ettore ^a   Mecella, Massimo ^a   Santucci, Giuseppe ^a   Tino, Giuseppe ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

advanced user interfaces; domotics; service composition; SM4All; smart devices

Indexed keywords

ADVANCED USER INTERFACES; DOMOTICS; SERVICE COMPOSITIONS; SM4ALL; SMART DEVICES;

QUALITY OF SERVICE;

USER INTERFACES;

EID: 84865752478     PISSN: 18678211     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-23902-1_2     Document Type: Conference Paper

References (15)

1. Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3), 18-22 (2008)
2. De Masellis, R., Di Ciccio, C., Mecella, M., Patrizi, F.: Smart Home Planning Programs. In: Proc. of 2010 International Conference on Service Systems and Service Management (ICSSSM 2010). Japan Advanced Institute of Science and Technology, Japan (2010)
3. Do, M., Kambhampati, S.: Solving Planning-Graph by Compiling it into CSP. In: Proc. AIPS 2000, pp. 82-91 (2000)
4. Hauptmann, A., Gao, J., Yan, R., Qi, Y., Yang, J., Wactlar, H.: Automatic analysis of nursing home observations. IEEE Pervasive Computing 3(2), 15-21 (2004)
5. Helal, S., Mann, W.C., El-Zabadani, H., King, J., Kaddoura, Y., Jansen, E.: The gator tech smart house: A programmable pervasive space. IEEE Computer 38(3), 50-60 (2005)
6. Joseph, A.: Successful aging. IEEE Pervasive Computing 3(2), 36-41 (2004)
7. Kaldeli, E.: Using CSP for AdaptableWeb Service Composition. Tech. Rep. 2009-7-01, University of Groningen (2009), www.cs.rug.nl/~eirini/tech-rep-09-7- 01.pdf
8. Kaldeli, E., Lazovik, A., Aiello, M.: Extended Goals for Composing Services. In: Proc. 19th International Conference on Automated Planning and Scheduling, ICAPS 2009 (2009)
9. Mynatt, E., Melenhorst, A., Fisk, A., Rogers, W.: Understanding user needs and attitudes. IEEE Pervasive Computing 3(2), 36-41 (2004)
10. Paradiso, J., Dutta, P., Gellersen, H., Schooler, E.: Smart energy systems. special issue. IEEE Pervasive Computing 10 (2011)
11. Patrizi, F.: Simulation-based Techniques for Automated Service Composition. Ph.D. thesis, Department of Systems and Computer Science, SAPIENZA - Universitá di Roma, Rome, Italy (2009)
12. Pnueli, A., Rosner, R.: On the Synthesis of a Reactive Module. In: Proc. POPL, pp. 179-190 (1989)
13. Roberts, J.: Pervasive health management and health management utilizing pervasive technologies: Synergy and issues. The Journal of Universal Computer Science 12(1), 6-14 (2006)
14. Ross, D.: Cyber crumbs for successful aging with vision loss. IEEE Pervasive Computing 3(2), 30-35 (2004)
15. Tuecke, S., Foster, I., Frey, J., Graham, S., Kesselman, C., Maquire, T., Sandholm, T., Snelling, D., Vanderbilt, P.: Open service grid infrastructure (2003)