Classes of Sets Give Answers to Answer Set Semantics and Program Evolution

Enhancing Adaptivity via Standard Dynamic Scheduling Middleware

Sheila R. M. Veloso

Christopher GillLouis MgetaYuanfang ZhangStephen TorriYamuna KrishnamurthyIrfan PyaraliDouglas C. Schmidt

In this work we present a semantical framework which provides necessary and sufficient conditions for the existence of answer sets of a program for a class of general logic programs as well as to determine all the answer sets of a program, in the case they exist. We illustrate the use of this framework in stepwise evolution of logic programs from a basic specification under different design criterions. This paper makes three contributions to research on QoS-enabled middleware for open distributedreal-time embedded (DRE) systems. First, it describes the design and implementation of adynamic scheduling framework based on the OMG Real-Time CORBA 1.2 specification(RTC1.2) that provides capabilities for (1) propagating QoS parameters and a locus of executionacross endsystems via a distributable thread abstraction and (2) enforcing the schedulingof multiple distributable threads dynamically using standard CORBA middleware. Second, itexamines the results of empirical studies that show how adaptive dynamic scheduling and managementof distributable threads can be enforced efficiently in standard middleware for openDRE systems. Third, it presents results from case studies of multiple adaptive middleware QoSmanagement technologies to monitor and control the quality, timeliness, and criticality of keyoperations adaptively in a representative DRE avionics system. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: