• Conference Object  

      An abstract channel specification and an algorithm implementing it using Java sockets 

      Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)
      Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
    • Article  

      ACLP: Flexible solutions to complex problems 

      Kakas, Antonis C.; Mourlas, G. (1997)
      In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...
    • Article  

      Advanced Array Optimizations for High Performance Functional Languages 

      Cann, D. C.; Evripidou, Paraskevas (1995)
      In this paper, we discuss and evaluate three opti- mizations for reducing memory management overhead and data copying costs in SISAL 1.2 programs that build arrays. The first, called framework preconstruction, eliminates ...
    • Article  

      Application of abductive ILP to learning metabolic network inhibition from temporal data 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)
      In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
    • 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  

      Asynchronous timed multimedia environments based on the coordination paradigm 

      Papadopoulos, George Angelos (2003)
      This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
    • Article  

      Combining pragmatics and intelligence in semantic web service discovery 

      Tamani, E.; Evripidou, Paraskevas (2007)
      In this paper we present an architecture that augments existing semantic-based web service discovery solutions. The idea is to combine principles from the semantic and pragmatic web in order for the web service selection ...
    • Article  

      Concurrent object-oriented programming using term graph rewriting techniques 

      Papadopoulos, George Angelos (1996)
      The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...
    • Conference Object  

      Control-driven coordination based assembling of components 

      Chimaris, Avraam N.; Papadopoulos, George Angelos (2002)
      The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been proposed which address issues of CBSE from ...
    • Conference Object  

      Coordination of systems with real-time properties in manifold 

      Papadopoulos, George Angelos; Arbab, Farhad (IEEE, 1996)
      This paper combines work done in the areas of asynchronous timed computations and coordination models in order to derive a framework able to express real-time coordination without adhering to special architectures or ...
    • Conference Object  

      A core grid ontology for the semantic grid 

      Wei, X.; Dikaiakos, Marios D.; Sakellariou, R. (2006)
      In this paper, we propose a Core Grid Ontology (CGO) that define s fundamental Grid-specific concepts, and the relationships between them. One of the key goals is to make this Core Grid Ontology general enough and easily ...
    • Article  

      Distributed and parallel systems engineering in MANIFOLD 

      Papadopoulos, George Angelos (1998)
      A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to express different software ...
    • Conference Object  

      Distributed function calculation via linear iterations in the presence of malicious agents - Part I: Attacking the network 

      Sundaram, S.; Hadjicostis, Christoforos N. (2008)
      We consider the problem of distributed function calculation in the presence of faulty or malicious agents. In particular, we consider a setup where each node has an initial value and the goal is for (a subset of) the nodes ...
    • Conference Object  

      Distributed function calculation via linear iterations in the presence of malicious agents - Part II: Overcoming malicious behavior 

      Sundaram, S.; Hadjicostis, Christoforos N. (2008)
      Given a network of interconnected nodes, each with a given initial value, we develop a distributed strategy that enables some or all of the nodes to calculate any arbitrary function of these initial values, despite the ...
    • Article  

      Editorial: Why coordination models and languages in AI? 

      Omicini, A.; Papadopoulos, George Angelos (2001)
      The pervasive spreading of information technology, along with the continuously growing and almost ubiquitous request for intelligence in systems, is giving new life to AI research. At the same time, this introduces new ...
    • Article  

      Efficient indexing data structures for flash-based sensor devices 

      Lin, S.; Zeinalipour-Yazdi, Constantinos D.; Kalogeraki, Vana; Gunopulos, Dimitrios; Najjar, W. A. (2006)
      Flash memory is the most prevalent storage medium found on modern wireless sensor devices (WSDs). In this article we present two external memory index structures for the efficient retrieval of records stored on the local ...
    • Conference Object  

      Essential features of a compiler target language for parallel machines 

      Papadopoulos, George Angelos (IEEE, 1995)
      Term Graph Rewriting Systems (TGRS) have been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional functional programming ones to the (concurrent) ...
    • Conference Object  

      Highly parallel model for object-oriented concurrent constraint programming 

      Banach, Richard; Papadopoulos, George Angelos (IEEE, 1995)
      Two of the currently most promising programming paradigms, namely Object-Oriented Programming and Concurrent Constraint Programming are combined into a single, highly parallel computational model based on Term Graph Rewriting ...
    • Article  

      An implementation framework for Software Architectures based on the coordination paradigm 

      Papadopoulos, George Angelos; Stavrou, Aristos; Papapetrou, Odysseas (2006)
      Software Architectures have evolved considerably over the last decade and, partly also due to the significant progress made in component-based development, have become a major subfield of Software Engineering. The associated ...
    • Conference Object  

      Linear behaviour of term graph rewriting programs 

      Banach, Richard; Papadopoulos, George Angelos (ACM, 1995)
      The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...