Distilling Programs to Prove Termination
Distilling Programs to Prove Termination
Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study
Do static and dynamic activities induce potentially damaging breast skin strain?
Does mental practice still enhance performance? A 24~Year follow-up and meta-analytic replication and extension
Edge Computing Applied to Industrial Machines
Designing Technologies for Community Policing
A Developer Driven Framework for Security and Privacy in the Internet of Medical Things
Developer Driven Framework for Security and Privacy in the IoMT
Developing a Conversational Agent with a Globally Distributed Team: An Experience Report
Development of Health Software using Behaviour Driven Development – BDD