Peter King
University of Manitoba
22 Papers
197 Citations
Peter King is an academic researcher from University of Manitoba. The author has contributed to research in topics: XML & Interval temporal logic. The author has an hindex of 9, co-authored 22 publications.
Chat about Author
Papers
IUHM: a hypermedia-based model for integrating open services, data and metadata
Marc Nanard,Jocelyne Nanard,Peter King +2 more
- 26 Aug 2003
TL;DR: The minimal kernel of the runtime layer responsible for the dynamic behaviour specified by the IUHM compliant hypertext network is described and justified, and the mechanisms involved in the dynamic binding of services and service composition are discussed.
39
Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic
Howard Bowman,Helen Cameron,Peter King,Simon Thompson +3 more
- 01 Jan 2000
TL;DR: A model theory and satisfaction relation are defined for the logic and a specification of the canonical example is presented, and a temporal logic formalism is presented that extends existing interval temporal logic with a number of new features.
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
Peter King,Patrick Schmitz,Simon Thompson +2 more
- 28 Oct 2004
TL;DR: A set of XML language extensions inspired by features from the functional programming world which are designed to widen the class of reactive systems which could be described in languages such as SMIL.
Mexitl : Multimedia in Executable Interval Temporal Logic
Howard Bowman,Helen Cameron,Peter King,Simon Thompson +3 more
- 01 Jan 2003
TL;DR: The requirements that arise from the multimedia documents application area are described, and a set of logical manipulations, providing feedback to an author, is presented and a model theory, logic and satisfaction relation are defined for the notation.
20
Media construction formalism specifying abstractions for multimedia scenario design
TL;DR: This work introduces the media construction formalism (MCF), a formalism permitting the design of media construction abstractions (MCA) for the specification of multimedia scenarios that provides constructs that can be understood and manipulated by designers at different levels of granularity and detail.
12