research
∙
06/12/2020
Formal Verification of Access Control Model for My Health Record System
My Health Record system is the Australian Government's digital health re...
share
research
∙
04/19/2020
Code Review in the Classroom
This paper presents a case study to examine the affinity of the code rev...
research
∙
04/04/2019
Size Matters: Microservices Research and Applications
In this chapter we offer an overview of microservices providing the intr...
research
∙
08/27/2018
AutoFrame: Automatic Frame Inference for Object-Oriented Languages
Automatic program verification has made tremendous strides, but is not y...
research
∙
08/27/2018
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs
The aliasing question (can two reference expressions point, during an ex...
research
∙
04/24/2018
On M2M Micropayments : A Case Study of Electric Autonomous Vehicles
The proliferation of electric vehicles has spurred the research interest...
research
∙
04/12/2018
Reputation in M2M Economy
Triggered by modern technologies, our possibilities may now expand beyon...
research
∙
04/02/2018
M2M Billing for Electric Autonomous Vehicles
Electric Autonomous Vehicles (EAVs) promise to be an effective way to so...
research
∙
01/19/2018
Hikester - the event management application
Today social networks and services are one of the most important part of...
research
∙
12/04/2017
Model Checking in multiplayer games development
Multiplayer computer games play a big role in the ever-growing entertain...
research
∙
10/22/2017
Teaching Programming and Design-by-Contract
This paper summarizes the experience of teaching an introductory course ...
research
∙
09/29/2017
Domain Objects and Microservices for Systems Development: a roadmap
This paper discusses a roadmap to investigate Domain Objects being an ad...
research
∙
06/16/2017