Mark Hepburn

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn 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 Bioinformati-cians. Web service is an enabling technique to facilitate Bioinformaticians in this discovery process by integrating the databases and(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)
  • 1