RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme

  • Authors:
  • K. H. (Kane) Kim;Yuqing Li;Sheng Liu;Moon H. Kim;Doo-Hyun Kim

  • Affiliations:
  • University of California, Irvine, CA;University of California, Irvine, CA;University of California, Irvine, CA;Konkuk Univesity, Seoul, Korea;Konkuk Univesity, Seoul, Korea

  • Venue:
  • ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...