Search - IFIP Open Digital Library Access content directly

Filter your results

35 results
Structure: Internal structure identifier : 300666
Page :
sorted by
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

Crime Open Data Aggregation and Management for the Design of Safer Spaces in Urban Environments

 Antonios Bonatsos , Lee Middleton , Panos Melas , Zoheir Sabeur
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.311-320, ⟨10.1007/978-3-642-41151-9_30⟩
Conference papers hal-01457462v1
Image document

Transformational Government Citizens’ Services Adoption: A Conceptual Framework

 Teta Stamati , Thanos Papadopoulos , Drakoulis Martakos
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.134-143, ⟨10.1007/978-3-642-22878-0_12⟩
Conference papers hal-01589087v1
Image document

Lawvere Categories as Composed PROPs

 Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers hal-01446031v1
Image document

A Viable System Model for Information Security Governance: Establishing a Baseline of the Current Information Security Operations System

 Ezzat Alqurashi , Gary Wills , Lester Gilbert
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.245-256, ⟨10.1007/978-3-642-39218-4_19⟩
Conference papers hal-01463830v1
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

Using Emulators to Estimate Uncertainty in Complex Models

 Peter Challenor
10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.151-164, ⟨10.1007/978-3-642-32677-6_10⟩
Conference papers hal-01518680v1
Image document

Towards an Ontology for Public Procurement Based on the Open Contracting Data Standard

 Ahmet Soylu , Brian Elvesæter , Philip Turk , Dumitru Roman , Oscar Corcho , et al.
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.230-237, ⟨10.1007/978-3-030-29374-1_19⟩
Conference papers hal-02510144v1
Image document

Internal Models for Coalgebraic Modal Logics

 Toby Wilkinson
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers hal-01539883v1
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

The Future Internet Enablement of the Environment Information Space

 Thomas Usländer , Arne J. Berre , Carlos Granell , Denis Havlik , José Lorenzo , et al.
10th International Symposium on Environmental Software Systems (ISESS), Oct 2013, Neusiedl am See, Austria. pp.109-120, ⟨10.1007/978-3-642-41151-9_11⟩
Conference papers hal-01457440v1
Image document

Emerging Barriers in E-Government Implementation

 Spyros Angelopoulos , Fotis Kitsios , Petros Kofakis , Thanos Papadopoulos
9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.216-225, ⟨10.1007/978-3-642-14799-9_19⟩
Conference papers hal-01056585v1

Coalgebraic Methods in Computer Science

 Corina Cîrstea
Springer International Publishing, LNCS-11202, 2018, Lecture Notes in Computer Science, 978-3-030-00388-3. ⟨10.1007/978-3-030-00389-0⟩
Books hal-02044638v1
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

Data Protection by Design for Cross-Border Electronic Identification: Does the eIDAS Interoperability Framework Need to Be Modernised?

 Niko Tsakalakis , Sophie Stalla-Bourdillon , Kieron O’hara
Eleni Kosta; Jo Pierson; Daniel Slamanig; Simone Fischer-Hübner; Stephan Krenn. Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data : 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers, AICT-547, Springer International Publishing, pp.255-274, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-16743-1. ⟨10.1007/978-3-030-16744-8_17⟩
Book sections hal-02271656v1
Image document

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

 Rocco De Nicola , Giulio Iacobelli , Mirco Tribastone
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩
Conference papers hal-01398017v1
Image document

An Integrated Decision-Support Information System on the Impact of Extreme Natural Hazards on Critical Infrastructure

 Z. A. Sabeur , P. Melas , K. Meacham , R. Corbally , D. D’ayala , et al.
12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.302-314, ⟨10.1007/978-3-319-89935-0_25⟩
Conference papers hal-01852606v1
Image document

An Evaluation of Regression Algorithms Performance for the Chemical Process of Naphthalene Sublimation

 Florin Leon , Andrei-Ștefan Lupu , Sabina-Adriana Floria , Doina Logofătu , Silvia Curteanu
14th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2018, Rhodes, Greece. pp.219-230, ⟨10.1007/978-3-319-92007-8_19⟩
Conference papers hal-01821058v1
Image document

Building Computational Grids Using Ubiquitous Web Technologies

 Robert John Walters , Stephen Crouch , Phillip Bennett
13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.254-261, ⟨10.1007/978-3-642-32775-9_26⟩
Conference papers hal-01520439v1
Image document

Knowledge-Based Service Architecture for Multi-risk Environmental Decision Support Applications

 Stuart E. Middleton , Zoheir A. Sabeur
9th International Symposium on Environmental Software Systems (ISESS), Jun 2011, Brno, Czech Republic. pp.101-109, ⟨10.1007/978-3-642-22285-6_11⟩
Conference papers hal-01569196v1
Image document

Preventing Unauthorized Data Flows

 Emre Uzun , Gennaro Parlato , Vijayalakshmi Atluri , Anna Lisa Ferrara , Jaideep Vaidya , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.41-62, ⟨10.1007/978-3-319-61176-1_3⟩
Conference papers hal-01684345v1
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
Image document

Towards Adaptive Access Control

 Luciano Argento , Andrea Margheri , Federica Paci , Vladimiro Sassone , Nicola Zannone
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.99-109, ⟨10.1007/978-3-319-95729-6_7⟩
Conference papers hal-01954403v1
Image document

What to Be Disclosed? Attributes of Online Games for the Market Transparency Policy

 Changwoo Suh , Byungtae Lee , Habin Lee , Youngseok Choi , Sunghan Ryu
12th International Conference on Electronic Participation (ePart), Aug 2020, Linköping, Sweden. pp.81-92, ⟨10.1007/978-3-030-58141-1_7⟩
Conference papers hal-03201957v1
Image document

Supporting Coordinated Maintenance of System Trustworthiness and User Trust at Runtime

 Torsten Bandyszak , Micha Moffie , Abigail Goldsteen , Panos Melas , Bassem I. Nasser , et al.
10th IFIP International Conference on Trust Management (TM), Jul 2016, Darmstadt, Germany. pp.96-112, ⟨10.1007/978-3-319-41354-9_7⟩
Conference papers hal-01438351v1
Image document

EO Big Data Connectors and Analytics for Understanding the Effects of Climate Change on Migratory Trends of Marine Wildlife

 Z. A. Sabeur , G. Correndo , G. Veres , B. Arbab-Zavar , J. Lorenzo , et al.
12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.85-94, ⟨10.1007/978-3-319-89935-0_8⟩
Conference papers hal-01852638v1
Image document

Large Scale Surveillance, Detection and Alerts Information Management System for Critical Infrastructure

 Z. A. Sabeur , Z. Zlatev , P. Melas , G. Veres , B. Arbab-Zavar , et al.
12th International Symposium on Environmental Software Systems (ISESS), May 2017, Zadar, Croatia. pp.237-246, ⟨10.1007/978-3-319-89935-0_20⟩
Conference papers hal-01852643v1
Image document

Relational Presheaves as Labelled Transition Systems

 Paweł Sobociński
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩
Conference papers hal-01539889v1
Page :