Filter your results
- 12
- 12
- 12
- 4
- 3
- 3
- 1
- 1
- 2
- 1
- 1
- 12
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 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
12 results
|
|
|
sorted by
|
|
|
Suomi.fi – Towards Government 3.0 with a National Service Platform17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.3-14, ⟨10.1007/978-3-319-98690-6_1⟩
Conference papers
hal-01961533v1
|
||
|
|
Verification of Smart Contract Business Logic8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers
hal-03769118v1
|
||
|
|
Awareness, Transience and Temporality: Design Opportunities from Rah Island14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.696-713, ⟨10.1007/978-3-642-40480-1_48⟩
Conference papers
hal-01501782v1
|
||
|
|
Runtime Monitoring Processes Across Blockchains9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.142-156, ⟨10.1007/978-3-030-89247-0_10⟩
Conference papers
hal-04074524v1
|
||
|
|
Enrolling Local Strategic Actors in Public Portal Development10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.247-258, ⟨10.1007/978-3-642-22878-0_21⟩
Conference papers
hal-01589091v1
|
||
|
|
Dynamic Capability Theory as a Lens to Investigate Big Data Analytics and Supply Chain Agility20th Conference on e-Business, e-Services and e-Society (I3E), Sep 2021, Galway, Ireland. pp.467-480, ⟨10.1007/978-3-030-85447-8_39⟩
Conference papers
hal-03648125v1
|
||
|
|
Incremental Refinement of Goal Models with Contracts9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.35-50, ⟨10.1007/978-3-030-89247-0_3⟩
Conference papers
hal-04074529v1
|
||
|
|
Compositional Coinduction with Sized Types13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.5-10, ⟨10.1007/978-3-319-40370-0_2⟩
Conference papers
hal-01446030v1
|
||
|
|
Utilizing an Investment Instrument for Digital Transformation: A Case Study of a Large Swedish Municipality19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.71-81, ⟨10.1007/978-3-030-57599-1_6⟩
Conference papers
hal-03282765v1
|
||
|
|
A Conceptual UX-Aware Model of Requirements6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.234-245, ⟨10.1007/978-3-319-44902-9_15⟩
Conference papers
hal-01647705v1
|
||
|
|
Design Decisions by Voice: The Next Step of Software Architecture Knowledge Management8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.166-177, ⟨10.1007/978-3-030-64266-2_10⟩
Conference papers
hal-03250497v1
|
||
|
|
A Pathology of Public Sector IT Governance: How IT Governance Configuration Counteracts Ambidexterity19th International Conference on Electronic Government (EGOV), Aug 2020, Linköping, Sweden. pp.29-41, ⟨10.1007/978-3-030-57599-1_3⟩
Conference papers
hal-03282779v1
|