Many contemporary firms and public agencies seek to engage external third-party developers to supply complementary applications. However, this type of development sometimes occurs without organizational consent, which ...

Integrated digital healthcare systems promise improved quality public healthcare and patient continued care among others. However, these have been hampered by various challenges including limited data exchanges between ...

Context. Robots are increasingly becoming involved in our lives and currently, teams of service robots cooperate to support humans by performing useful, repetitive, or dangerous tasks. However, engineering the robots’ ...

Digital storytelling can be employed as a tool that incorporates human creativity with technology. It synthesizes multimedia based elements to create engaging stories and compelling narratives. To this end, this research ...

The introduction of digital textbooks, with data-driven functionalities, is a recent trend in mathematics education challenging established teaching practices. This new technology represents a key shift as student datasets ...

Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ...