• 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 ...
    • Conference Object  

      Adaptive feedback algorithm for internet video streaming based on fuzzy rate control 

      Antoniou, Pavlos Ch.; Pitsillides, Andreas; Vassiliou, Vasos (2007)
      It is beyond any doubt that the unpredictable nature of the today's Internet has tremendous impact on the transmission of video streams. With respect to the real-time nature of video streaming, unpredictable band-width, ...
    • Conference Object  

      Control of jump linear systems over jump communication channels - Source-channel matching approach 

      Donic, S. Z.; Charalambous, Charalambos D. (2007)
      The control of partially observed jump linear systems over jump communication channels is investigated when the Plant State Information (I*SI) and the Channel Slate Information (CSI) are present at the transmitter and the ...
    • Conference Object  

      Designing mechanisms for reliable internet-based computing 

      Fernández Anta, Antonio; Georgiou, Chryssis; Mosteiro, Miguel A. (2008)
      In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
    • Conference Object  

      Fault diagnosis in discrete event systems modeled by petri nets with outputs 

      Ru, Y.; Hadjicostis, Christoforos N. (2008)
      In this paper, we study fault diagnosis in discrete event systems modeled by Petri nets with outputs, i.e., Petri nets with place sensors and transition sensors. Faults are modeled as unobservable transitions and are divided ...
    • Conference Object  

      Fault model identification with petri nets 

      Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2008)
      Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...
    • Conference Object  

      Identifying failures in grids through monitoring and ranking 

      Zeinalipour-Yazdi, Constantinos D.; Neocleous, Kyriacos; Georgiou, Chryssis; Dikaiakos, Marios D. (2008)
      In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been ranked, these can be eliminated from the ...
    • Conference Object  

      Information hovering in vehicular ad-hoc networks 

      Xeros, Andreas; Lestas, Marios; Andreou, Maria I.; Pitsillides, Andreas; Ioannou, Petros A. (2009)
      Information Hovering is a relatively new concept of information dissemination over a mobile set of peers. It naturally applies in many applications in Vehicular Ad-Hoc Networks, where useful information needs to be made ...
    • Conference Object  

      Integrated platform for autonomic computing 

      Panayiotou, Christoforos; Fytros, E.; Tsetsos, V.; Samaras, George S.; Hadjiefthymiades, S.; Piquet, D. (2009)
      IPAC (Integrated Platform for Autonomic Computing) aims at delivering a middleware and service creation environment for developing embedded, intelligent, collaborative, context-aware services in mobile nodes. IPAC relies ...
    • Conference Object  

      On the capacity of a class of MIMO channels subject to normed uncertainty 

      Loyka, S.; Charalambous, Charalambos D. (2008)
      The compound capacity of uncertain MIMO channels is considered, when the channel is modeled by a class described by an induced norm constraint. Within this framework, two types of classes are investigated, namely, additive ...
    • Conference Object  

      Replication based on Objects Load under a Content Distribution Network 

      Pallis, George C.; Stamos, Kostas; Vakali, Athena I.; Katsaros, Dimitrios S.; Sidiropoulos, Antonis; Manolopoulos, Yannis (Institute of Electrical and Electronics Engineers Inc., 2006)
      Users tend to use the Internet for "resource-hungry" applications (which involve content such as video, audio on-demand and distributed data) and at the same time, more and more applications (such as e-commerce, elearning ...
    • Article  

      Report on the workshop on Metadata Management in Grid and Peer-to-Peer Systems, London, December 16 2003 

      Keenoy, K.; Poulovassilis, A.; Christophides, V.; Loizou, G.; Kokkinidis, G.; Samaras, George S.; Spyratos, N. (2004)
      A workshop on Metadata Management System in Grid and peer-to-Peer system was held in the Senete House of the University of London on December 16, 2003. The first session of the work shop contained three presentations on ...
    • Conference Object  

      Robust estimation with applications to phase and envelope estimation in frequency selective wireless fading channels 

      Socratous, Y.; Charalambous, Charalambos D.; Georghiades, C. N. (2008)
      This paper derives robust niiniinax estimators for a class of uncertain models. The uncertainty is described by a relative entropy constraint between the unknown joint distribution and a fixed nominal joint distribution. ...
    • Conference Object  

      Self-optimizing block transfer in web service grids 

      Gounaris, A.; Dikaiakos, Marios D.; Yfoulis, C.; Sakellariou, R. (2007)
      Nowadays, Web Services (WSs) play an increasingly important role in Web data management solutions, since they offer a practical solution for accessing and manipulating data sources spanning administrative domains. Nevertheless, ...
    • Conference Object  

      Supervisory and notification aggregator service enabler in a fixed mobile convergent architecture 

      Konstantinides, C.; Charalambous, Charalambos D. (2007)
      This paper investigates and proposes the introduction of a Supervisory and Notification Aggregator (SNA) service enabler in a Fixed Mobile Convergent (FMC) architecture. The SNA service enabler facilitates the deployment ...
    • Article  

      Texture synthesis based simulation of secondary agents 

      Kyriakou, M.; Chrysanthou, Yiorgos L. (2008)
      Realistic simulation of virtual characters is essential in many applications and particularly in computer games. Having a realistic simulation of an agent is a complex matter since there are many different ways in which ...
    • Conference Object  

      Verification of initial-state opacity in security applications of DES 

      Saboori, A.; Hadjicostis, Christoforos N. (2008)
      Motivated by security applications where the initial state of a system needs to be kept secret (opaque) to outside observers (intruders), we formulate, analyze and verify the notion of initial-state opacity in discrete ...