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
|
|
sorted by
|
|
Is It All Lost? A Study of Inactive Open Source Projects9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.61-79, ⟨10.1007/978-3-642-38928-3_5⟩
Conference papers
hal-01467582v1
|
||
|
Comparing Local e-Government Websites in Canada and the UK14th International Conference on Electronic Government (EGOV), Aug 2015, Thessaloniki, Greece. pp.291-304, ⟨10.1007/978-3-319-22479-4_22⟩
Conference papers
hal-01412281v1
|
||
|
Controllability Through Nondeterminism in Distributed Testing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩
Conference papers
hal-01643709v1
|
||
|
A Framework of Reference for Evaluating User Experience When Using High Definition Video to Video to Facilitate Public ServicesInternationalWorking Conference on Transfer and Diffusion of IT (TDIT), Jun 2013, Bangalore, India. pp.436-450, ⟨10.1007/978-3-642-38862-0_27⟩
Conference papers
hal-01467795v1
|
||
|
A Pilot Teaching Project, “Keeping Safe”, Exploring the Use of “Scratch 3” Computer Coding Files and Computer-Generated Music Files Created in “Sibelius”, to Support Young Adults with Language Learning Difficulties and Disabilities at Lambeth College, in South London1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.45-54, ⟨10.1007/978-3-030-28764-1_7⟩
Conference papers
hal-02515749v1
|
||
|
Investigating the Influence of Information Management Practices on IS GovernanceGovernance and Sustainability in Information Systems: Managing the Transfer and Diffusion of IT (Working conference), Sep 2011, Hamburg, Germany. pp.295-299, ⟨10.1007/978-3-642-24148-2_21⟩
Conference papers
hal-01571745v1
|
||
|
Electronic GovernmentSpringer International Publishing, LNCS-12219, 2020, Lecture Notes in Computer Science, 978-3-030-57598-4. ⟨10.1007/978-3-030-57599-1⟩
Books
hal-03282761v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
- 1
- 2