Search - IFIP Open Digital Library Access content directly

Filter your results

7 results
Structure: Internal structure identifier : 300666
publicationDateY_i : 2015
Image document

Open Data Sources for the Development of Mobile Applications and Forecast of Microbial Contamination in Bathing Waters

Gianluca Correndo , Zoheir A. Sabeur
11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.303-310, ⟨10.1007/978-3-319-15994-2_30⟩
Conference papers hal-01328563v1
Image document

Context Ontology Modelling for Improving Situation Awareness and Crowd Evacuation from Confined Spaces

Gianluca Correndo , Banafshe Arbab-Zavar , Zlatko Zlatev , Zoheir A. Sabeur
11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.407-416, ⟨10.1007/978-3-319-15994-2_41⟩
Conference papers hal-01328584v1
Image document

IdleWars: An Evaluation of a Pervasive Game to Promote Sustainable Behaviour in the Workplace

Evangelos Tolias , Enrico Costanza , Alex Rogers , Benjamin Bedwell , Nick Banks
14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.224-237, ⟨10.1007/978-3-319-24589-8_17⟩
Conference papers hal-01758407v1
Image document

Advanced Data Analytics and Visualisation for the Management of Human Perception of Safety and Security in Urban Spaces

Panos Melas , Gianluca Correndo , Lee Middleton , Zoheir A. Sabeur
11th International Symposium on Environmental Software Systems (ISESS), Mar 2015, Melbourne, Australia. pp.445-454, ⟨10.1007/978-3-319-15994-2_45⟩
Conference papers hal-01328590v1
Image document

Obscuring Provenance Confidential Information via Graph Transformation

Jamal Hussein , Luc Moreau , Vladimiro Sassone
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.109-125, ⟨10.1007/978-3-319-18491-3_8⟩
Conference papers hal-01416217v1
Image document

From Event-B Models to Dafny Code Contracts

Mohammadsadegh Dalvandi , Michael Butler , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers hal-01446608v1
Image document

An Interval-Based Approach to Modelling Time in Event-B

Gintautas Sulskus , Michael Poppleton , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers hal-01446607v1