Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

18 results
Page :
sorted by
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

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

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

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
Image document

Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems

 Anna Lisa Ferrara , Anna Squicciarini , Cong Liao , Truc L. Nguyen
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.349-361, ⟨10.1007/978-3-319-61176-1_20⟩
Conference papers hal-01684364v1
Image document

Human Factors Engineering as the Methodological Babel Fish: Translating User Needs into Software Design

 Neville A. Stanton
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.1-17, ⟨10.1007/978-3-642-34347-6_1⟩
Conference papers hal-01556825v1
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

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

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

Online Forums vs. Social Networks: Two Case Studies to Support eGovernment with Topic Opinion Analysis

 Timo Wandhöfer , Beccy Allen , Steve Taylor , Paul Walland , Sergej Sizov
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.322-334, ⟨10.1007/978-3-642-40358-3_27⟩
Conference papers hal-01490917v1
Image document

Consumers’ Attitudes Towards Social Media Banking

 Dola Majekodunmi , Lisa Harris
15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.717-727, ⟨10.1007/978-3-319-45234-0_65⟩
Conference papers hal-01702171v1
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

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
Page :