Per Year

6 publications  /  2016  /  Enrico Denti
 @inproceedings{insci2016-smartspace,
	location = {Firenze, Italy},
	booktitle = { Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
	year = 2016,
	keywords = {Smart Spaces Socio-Technical Systems Pervasive Computing Internet of Things Smart Home Ambient Intelligence Multi-Agent Systems Software infrastructures},
	pdf-local = {chp3A10.10072F978-3-319-45982-026.pdf},
	status = {Published},
	venue_list = {--},
	url = {http://link.springer.com/10.1007/978-3-319-45982-0_26},
	editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
	month = {12-14 September},
	series = {Lecture Notes in Computer Science},
	eisbn = {978-3-319-45982-0},
	issn = {0302-9743},
	publisher = {Springer International Publishing},
	author = {Calegari, Roberta and Denti, Enrico},
	chapter = 26,
	title = {The Butlers Framework for Socio-Technical Smart Spaces},
	isbn = {978-3-319-45981-3},
	note = {Accepted as a poster},
	pages = {306-317},
	venue_j = {Journals.Lncs},
	volume = 9934,
	numpages = 12,
	wos = {000389030700026},
	doi = {10.1007/978-3-319-45982-0 2}} 
 @inproceedings{lpaas-woa2016,
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariDMO16},
    editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
    iris = {11585/562436},
    issn = {1613-0073},
    keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
    location = {Catania, Italy},
    month = {29--30}}},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84985995176},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
    url = {http://ceur-ws.org/Vol-1664/w14.pdf},
    volume = 1664,
    year = 2016
} 
 @inproceedings{acec-wetice2016,
	booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
	year = 2016,
	keywords = {daptation, socio-technical systems, smart spaces},
	status = {Published},
	venue_list = {--},
	month = {June},
	venue_s = {ACEC - WETICE 2016},
	publisher = {IEEE Computer Society},
	author = {Cabri, Giacomo and  Cossentino, Massimo  and Denti, Enrico and  Giorgini, Paolo and  Molesini, Ambra and  Mordonini, Monica and Tomaiuolo, Michele and Sabatucci, Luca},
	title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
	isbn = {978-1-5090-1663-1/16},
	abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces—offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way.
A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems—kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages.
In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces; the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation.
In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
	pages = {3--8},
	articleNo = 33,
	numpages = 6,
	doi = { 10.1109/WETICE.2016.11}} 
 @inproceedings{lvlp-cilc2016,
    address = {Milano, Italy},
    author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
    booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
    dblp = {conf/cilc/CalegariDDO16},
    editor = {Fiorentini, Camillo and Momigliano, Alberto},
    iris = {11585/562441},
    issn = {1613-0073},
    keywords = {labelled logic programming; labelled systems; formal semantics},
    month = {20-22}}},
    publisher = {CEUR-WS},
    scopus = {2-s2.0-84985916728},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Labelled Variables in Logic Programming: Foundations},
    url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
    volume = 1645,
    year = 2016
} 
 @incollection{bison-insci2016,
    author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
    booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
    chapter = 25,
    dblp = {conf/insci/CeveniniDOC16},
    doi = {10.1007/978-3-319-45982-0_25},
    editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
    eisbn = {978-3-319-45982-0},
    iris = {11585/562456},
    isbn = {978-3-319-45981-3},
    issn = {0302-9743},
    keywords = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
    location = {Firenze, Italy},
    month = {12-14}}},
    scopus = {2-s2.0-84986203603},
    series = {Lecture Notes in Computer Science},
    title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
    url = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
    volume = 9934,
    wos = {000389030700025},
    year = 2016
} 
 @article{2p-alpnews2016,
	Author = {Calegari, Roberta and Denti, Enrico},
	Journal = {ALP Newsletter},
	Month = dec,
	Publisher = {Association for Logic Programming},
	Title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
	Url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
	Year = 2016} 
6 publications  /  2016  •  topindexbottom