Mark Hepburn

  • Citations Per Year
Learn More
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to un trusted data being used in a trusted context are possible. We improve on other similar systems[18] by introducing a safe environment(More)
This paper describes a study of mobile learning for undergraduate design and technology education. The methodology is action research, to assess student/ lecturer competencies with mobile learning on two modules. It was found that RSS and Vodcasting learning scenarios require a fundamental shift in stakeholders’ management of internetbased educational(More)
With a fast paced development of bioinformatics in recent years, we have witnessed a rapid growth of the number of databases and tools available for aiding in scientific research and knowledge discovery for bioinformaticians. Web service is an enabling technique to facilitate bioinformaticians in this discovery process by integrating the databases and(More)
  • 1