• Article  

      An argumentation framework for reasoning about actions and change 

      Kakas, Antonis C.; Miller, R.; Toni, F. (1999)
      We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
    • Article  

      Configuration and dynamic reconfiguration of components using the coordination paradigm 

      Papadopoulos, George Angelos; Arbab, Farhad (2001)
      One of the most promising approaches in developing component-based (possibly distributed) systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to ...
    • Article  

      Experience using an intermediate compiler target language for parallel machines 

      Papadopoulos, George Angelos (1997)
      The generalised computational model of term graph rewriting systems (TGRSs) has been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional ...
    • Article  

      Modelling control systems in an event-driven coordination language 

      Limniotes, Theophilos A.; Papadopoulos, George Angelos (2000)
      The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures for complex control systems using a ...
    • Conference Object  

      Portable parallel implementation of two novel mathematical biology algorithms in ZPL 

      Dikaiakos, Marios D.; Manoussaki, Daphne; Lin, Calvin; Woodward, Diana E. (ACM, 1995)
      This paper shows that mathematical models of biological pattern formation are ideally suited to data parallelism. We present two new algorithms, one for simulating the dynamic structure of fibroblasts, and the other for ...
    • Book Chapter  

      Results of parallel implementations of the selection problem using sisal 

      Daumas, Marc; Evripidou, Paraskevas (Publ by Elsevier Science Publishers B.V., 1993)
      This paper presents an in depth analysis on the parallel implementation of four of the standard selection algorithms using a functional language on a number of multiprocessor and supercomputers. Three of the algorithms: ...