Filter your results
- 40
- 1
- 39
- 2
- 41
- 17
- 3
- 3
- 2
- 5
- 4
- 2
- 2
- 7
- 5
- 6
- 2
- 41
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
41 results
|
|
|
sorted by
|
|
|
The Design and Engineering of Mobile Data Services: Developing an Ontology Based on Business Model ThinkingIFIP WG 8.2/8.6 InternationalWorking Conference on Human Benefit through the Diffusion of Information Systems Design Science Research, Mar 2010, Perth, Australia. pp.28-51, ⟨10.1007/978-3-642-12113-5_3⟩
Conference papers
hal-01060392v1
|
||
|
|
Action Design Ethnographic Research (ADER): Vested Interest Networks and ICT Networks in Service Delivery of Land Records in BangladeshWorking COnference on Shaping the Future of ICT Research, Dec 2012, Tampa, FL, United States. pp.51-67, ⟨10.1007/978-3-642-35142-6_4⟩
Conference papers
hal-01515860v1
|
||
|
|
Green IT Logistics in a Greek Retailer: Grand Successes and Minor FailuresInternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.136-150, ⟨10.1007/978-3-642-38862-0_9⟩
Conference papers
hal-01467819v1
|
||
|
|
The Relationship Between Audit Committee Characteristics and the Level of Sustainability Report Disclosure17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.492-503, ⟨10.1007/978-3-030-02131-3_44⟩
Conference papers
hal-02274149v1
|
||
|
|
Testing Probabilistic Distributed SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.63-77, ⟨10.1007/978-3-642-13464-7_6⟩
Conference papers
hal-01055146v1
|
||
|
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
|
Promoting ICT Skills through Online Services: Case Study of Video Use for Adult Education in Municipalities10th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2014, Rhodes, Greece. pp.63-72, ⟨10.1007/978-3-662-44722-2_8⟩
Conference papers
hal-01391030v1
|
||
|
|
Identifying a Public Sector Information Systems (PSIS) for E-service: A Case of Land Records E-service in Bangladesh13th International Conference on Electronic Government (EGOV), Sep 2014, Dublin, Ireland. pp.106-119, ⟨10.1007/978-3-662-44426-9_9⟩
Conference papers
hal-01401731v1
|
||
|
|
ERP Implementation in an Indian Context: Examining Perceptions on Success FactorsGovernance and Sustainability in Information Systems: Managing the Transfer and Diffusion of IT (Working conference), Sep 2011, Hamburg, Germany. pp.357-363, ⟨10.1007/978-3-642-24148-2_29⟩
Conference papers
hal-01571743v1
|
||
|
|
Understanding Public Healthcare Service Quality from Social Media17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.40-47, ⟨10.1007/978-3-319-98690-6_4⟩
Conference papers
hal-01961515v1
|
||
|
|
Conformance Relations for Distributed Testing Based on CSP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers
hal-01583923v1
|
||
|
|
Implementing Multiparty Session Types in Rust22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers
hal-03273998v1
|
||
|
|
Dynamic Spatial Positioning: Physical Collaboration around Interactive Table by Children in India14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.141-158, ⟨10.1007/978-3-642-40498-6_11⟩
Conference papers
hal-01510543v1
|
||
|
|
Designing an Information System for Updating Land Records in Bangladesh: Action Design Ethnographic Research (ADER)InternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.359-374, ⟨10.1007/978-3-642-38862-0_22⟩
Conference papers
hal-01467790v1
|
||
|
|
Open Data Platforms and Their Usability: Proposing a Framework for Evaluating Citizen Intentions14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.261-271, ⟨10.1007/978-3-319-25013-7_21⟩
Conference papers
hal-01448045v1
|
||
|
|
Digitization and Preservation of Cultural Heritage Products14th IFIP International Conference on Product Lifecycle Management (PLM 2017), Jul 2017, Seville, Spain. pp.241-253, ⟨10.1007/978-3-319-72905-3_22⟩
Conference papers
hal-01764208v1
|
||
|
|
An Overview Assessment of ePetitioning Tools in the English Local Government3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.204-215, ⟨10.1007/978-3-642-23333-3_18⟩
Conference papers
hal-01589380v1
|
||
|
|
Modularising Opacity Verification for Hybrid Transactional Memory37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.33-49, ⟨10.1007/978-3-319-60225-7_3⟩
Conference papers
hal-01658416v1
|
||
|
|
Proving Opacity via Linearizability: A Sound and Complete Method37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.50-66, ⟨10.1007/978-3-319-60225-7_4⟩
Conference papers
hal-01658425v1
|
||
|
|
Utilizing a High Definition Live Video Platform to Facilitate Public Service Delivery8th International Conference on Artificial Intelligence Applications and Innovations (AIAI), Sep 2012, Halkidiki, Greece. pp.290-299, ⟨10.1007/978-3-642-33412-2_30⟩
Conference papers
hal-01523084v1
|
||
|
|
Wireless Monitoring and Remote Control of PV Systems Based on the ZigBee Protocol2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.297-304, ⟨10.1007/978-3-642-19170-1_32⟩
Conference papers
hal-01566544v1
|
||
|
|
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.123-138, ⟨10.1007/978-3-319-47443-4_8⟩
Conference papers
hal-01643715v1
|
||
|
|
Optimising e-Government Data Centre Operations to Minimise Energy Consumption: A Simulation-Based Analytical Approach18th International Conference on Electronic Government (EGOV), Sep 2019, San Benedetto del Tronto, Italy. pp.205-214, ⟨10.1007/978-3-030-27325-5_16⟩
Conference papers
hal-02445788v1
|
||
|
|
Electronic GovernmentSpringer International Publishing, LNCS-11685, 2019, Lecture Notes in Computer Science, 978-3-030-27324-8. ⟨10.1007/978-3-030-27325-5⟩
Books
hal-02445784v1
|
||
|
|
Passive Testing with Asynchronous Communications15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.99-113, ⟨10.1007/978-3-642-38592-6_8⟩
Conference papers
hal-01515240v1
|
||
|
|
A Framework for Evaluating Citizens’ Expectations and Satisfaction toward Continued Intention to Use E-Government Services11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.273-286, ⟨10.1007/978-3-642-33489-4_23⟩
Conference papers
hal-01543576v1
|
||
|
|
5 Days in August" – How London Local Authorities Used Twitter during the 2011 Riots11th International Conference on Electronic Government (EGOV), Sep 2012, Kristiansand, Norway. pp.102-113, ⟨10.1007/978-3-642-33489-4_9⟩
Conference papers
hal-01543586v1
|
||
|
|
The Relative Importance of Intermediaries in eGovernment Adoption: A Study of Saudi Arabia10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.62-74, ⟨10.1007/978-3-642-22878-0_6⟩
Conference papers
hal-01589079v1
|
||
|
|
Social Media and Government Responsiveness: The Case of the UK Food Standards Agency12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.310-321, ⟨10.1007/978-3-642-40358-3_26⟩
Conference papers
hal-01490916v1
|
||
|
|
What to Be Disclosed? Attributes of Online Games for the Market Transparency Policy12th 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
|
- 1
- 2