scispace - formally typeset
P

Peter F. Linington

Researcher at University of Kent

Publications -  56
Citations -  949

Peter F. Linington is an academic researcher from University of Kent. The author has contributed to research in topics: Computer programming & RM-ODP. The author has an hindex of 15, co-authored 56 publications receiving 935 citations. Previous affiliations of Peter F. Linington include University of Queensland & Kent State University.

Papers
More filters

Quality of Service Measurements on SuperJANET - The UK Academic Information Highway

TL;DR: The measurement framework is described and examples of its use to resolve problems and guide policy are given, including that of Janet, the U.K. academic and research network.
Book ChapterDOI

Formal description techniques for object management

TL;DR: This paper examines the relative merits of two formal languages, Object-Z and RAISE, which have been proposed as suitable for use in object management and the use of formal description techniques to the specification of managed objects.
Book ChapterDOI

Reducing the cost of remote procedure call

TL;DR: An RPC implementation is described which uses a small network of Transputers as a parallel front-end processor to reduce communications delays.

VitKit: a Voice Interaction Toolkit

TL;DR: The Voice Interaction ToolKIT(VitKit), a C++ class library for building telephone-based user interfaces, is described, which supports dynamic construction and re-configuration of interfaces and adopts a very flexible approach to interfacing with underlying applications.
Proceedings ArticleDOI

Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract

TL;DR: This paper proposes a specification architecture for policies, discusses how it might be used, and considers how well-suited some existing specification languages and tools are to supporting this architecture.