Browsing Τμήμα Πληροφορικής / Department of Computer Science by Title
Now showing items 1293-1312 of 1952
-
Article
Object-oriented term graph rewriting
(1999)The relationship between the generalised computational model of Term Graph Rewriting Systems (TGRS) and Object-Oriented Programming (OOP) is explored and exploited by extending the TGRS model with records where access to ...
-
Conference Object
On a hybrid model for max-min congestion controllers
(2004)In this paper we address the congestion control problem in computer networks offering a single class of best effort service. The problem is viewed as a resource allocation problem. The objective is to distribute the available ...
-
Article
On Argumentation Logic and Propositional Logic
(2018)This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are ...
-
Article
On Argumentation Logic and Propositional Logic
(2017)This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are ...
-
Article
On computing logic programs
(1996)In this paper we present and compare some classical problem-solving methods for computing the stable models of logic programs with negation. Using a graph theoretic representation of logic programs and their stable models, ...
-
Article
On confluence in the π-caleulus
(1997)An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...
-
Conference Object
On constructing internet-scale P2P information retrieval systems
(2005)We initiate a study on the effect of the network topology on the performance of Peer-to-Peer (P2P) information retrieval systems. The emerging P2P model has become a very powerful and attractive paradigm for developing ...
-
Book Chapter
On controlling elasticity of cloud applications in CELAR
(IGI Global, 2015)Today's complex cloud applications are composed of multiple components executed in multi-cloud environments. For such applications, the possibility to manage and control their cost, quality, and resource elasticity is of ...
-
Book Chapter
On controlling elasticity of cloud applications in celar
(IGI Global, 2015)Today's complex cloud applications are composed of multiple components executed in multi-cloud environments. For such applications, the possibility to manage and control their cost, quality, and resource elasticity is of ...
-
Article
On kernels, defaults and even graphs
(1997)Extensions in prerequisite-free, disjunction-free default theories have been shown to be in direct correspondence with kernels of directed graphs
-
Article
On learning time delays between the spikes from different input neurons in a biophysical model of a pyramidal neuron
(2015)Biological systems are able to recognise temporal sequences of stimuli or compute in the temporal domain. In this paper we are exploring whether a biophysical model of a pyramidal neuron can detect and learn systematic ...
-
Conference Object
On modelling cognitive styles of users in adaptive interactive systems using artificial neural networks efi papatheocharous1 efi.papatheocharous
(2012)User modelling in interactive Web systems is an essential quality to optimally filter, personalise and adapt their content and functionality to serve the intrinsic needs of individual users. The mechanism for obtaining the ...
-
Article
On network survivability algorithms based on trellis graph transformations
(1999)Due to the wide range of services being supported, telecommunications networks are loaded with massive quantities of information. This stimulates extra concern for network survivability. In this paper, we use graph theoretic ...
-
Article
On sharing and determinacy in concurrent systems
(1995)The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic ...
-
Article
On supporting security and privacy-preserving interaction through adaptive usable security
(2014)The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...
-
Conference Object
On the Accuracy of Eye Gaze-driven Classifiers for Predicting Image Content Familiarity in Graphical Passwords
(Association for Computing Machinery, 2019)Graphical passwords leverage the picture superiority effect to enhance memorability, and reflect today's haptic users' interaction realms. Images related to users' past sociocultural experiences (e.g., retrospective) enable ...
-
Conference Object
On the application of formal methods for specifying and verifying distributed protocols
(2008)In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...
-
Article
On the automated implementation of time-based Paxos using the IOA compiler
(2010)Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...
-
Conference Object
On the claim for the existence of "Adversarial examples" in deep learning neural networks
(INSTICC Press, 2014)A recent article in which it is claimed that adversarial examples exist in deep artificial neural networks (ANN) is critically examined. The newly discovered properties of ANNs are critically evaluated. Specifically, we ...
-
Article
On the competitiveness of scheduling dynamically injected tasks on processes prone to crashes and restarts
(2015)To identify the tradeoffs between efficiency and fault-tolerance in dynamic cooperative computing, we initiate the study of a task performing problem under dynamic processes' crashes/restarts and task injections. The system ...