Type

Number of items: 26.
  • Notations for modelling multimedia systems. (1996) C. Britton, S. Jones, M. Myers and M. Sharif
  • An investigation into the measurement of notations used in software modelling. (1996) C. Britton, S. Jones, M. Myers and M. Sharif
  • A new notation for modelling multimedia systems with three case studies. (1996) C. Britton, S. Jones, M. Myers and M. Sharif
  • The special requirements of multimedia systems: how to choose the most effective modelling notations. (1996) C. Britton, S. Jones, M. Myers and M. Sharif
  • A survey of tools for modelling multimedia systems. (1996) C. Britton, S. Jones, M. Myers and M. Sharif
  • Instruction scheduling for a superscalar architecture. (1996) R. Collins and G.B. Steven
  • Formal methods: no cure for faulty reasoning. (1996) M. Loomes and R.J. Vinter
  • Discretionary non-repudiation. (1996) M.R. Low
  • Expressing a policy. (1996) M.R. Low
  • A joint authorisation scheme. (1996) M.R. Low
  • Using single layer networks for discrete, sequential data: an example from natural language processing. [extended version]. (1996) C. Lyon
  • Teaching client server computing to undergraduates and postgraduates. (1996) J. Malcolm and P. Hu
  • The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design. (1996) C. Pascoulis
  • Investigating the limits of instruction level parallelism. (1996) R. Potter
  • Artificial evolution: modelling the development of the retina. (1996) A.G. Rust, R.G. Adams, S. George and H. Bolouri
  • Developmental neural networks for shape recognition: motivation and review. (1996) A.G. Rust and H. Bolouri
  • Developmental artificial neural networks for shape recognition: a model of the retina. (1996) A.G. Rust, S. George, H. Bolouri and R.G. Adams
  • WISE (world wide integrated software engineering): a summary of work in progress. (1996) J. Sapsford-Francis, S. Jones and M. Brabrook-Norman
  • An introduction to the Hatfield superscalar architecture. (1996) G.B. Steven, B. Christianson, R. Collins, R. Potter and F.L. Steven
  • Transfer of non-logical tendencies to formal reasoning. (1996) R.J. Vinter
  • A review of twenty formal specification notations. (1996) R.J. Vinter
  • Reasoning about formal software specifications : an initial investigation. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot
  • Seven lesser known myths of formal methods : uncovering the psychology of formal specification. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot
  • A frame work for business process & information systems reengineering (BP&ISR). (1996) J. Weerakkody
  • Key issues for successful exploitation of BP&ISR in Sri Lanka. (1996) J. Weerakkody, J. Bennett and C. Tagg
  • BP&ISR: an analysis of factors in the Sri Lankan context. (1996) V. Weerakkody