K.-F. Wong

  • Citations Per Year
Learn More
  • J Velthuys, K Wong, +5 authors Ozsu
  • 1995
The new quality of multimedia (MM) applications concerns the handling of a various types of media, particularly continuous media, which are timely combined for use in presentation for the user. This implies stringent requirements from the underlying systems to support requested quality of service (QoS). Thus to support the new emerging services end-to-end(More)
Most of current approaches in designing and implementing distributed multimedia (MM) presentational applications, e.g. news-on-demand, have concentrated on the performance of the continuous media file servers in terms of seek time overhead, and real-time disk scheduling; particularly the QoS negotiation mechanisms they provide are used in a rather static(More)
This paper identifies the software information that must be represented in a formal specification of source code level “safety verification conditions” (SVCs) for an object-oriented software system. The formalization does not necessarily require a notation with object-oriented constructs. In particular, a semantically simpler notation based on typed(More)
  • 1