Computer and information sciences topic list of research papers
-
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract)
Abstract This paper investigates operationally-based theories of a simply-typed functional programming language with countable non-determinism. The theories are based upon lower, upper, and convex variants of applicative similarity and bisimilarity, ...
2005 / Søren B. Lassen, Corin S. Pitcher -
Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks
Abstract The increased application of wireless technologies including Wireless Sensor Actuator Networks (WSAN) in industry has given rise to a plethora of protocol designs. These designs target metrics ranging from energy efficiency to real-time...
2016 / Admar Ajith Kumar Somappa, Knut Øvsthus, Lars Michael Kristensen -
From Parity Games to Circular Proofs
Abstract We survey on the ongoing research that relates the combinatorics of parity games to the algebra of categories with finite products, finite coproducts, initial algebras and final coalgebras of definable functors, i.e. μ-bicomplete...
2004 / Luigi Santocanale -
Quantitative Analysis of the Leakage of Confidential Data
Abstract Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to...
2004 / David Clark, Sebastian Hunt, Pasquale Malacaria -
Checking Java Implementation of a Naming Architecture Using Testera
Abstract TestEra is a novel framework for automated testing of Java programs. We have built TestEra upon Alloy, a lightweight first-order relational language, and the Alloy Analyzer, a fully automatic simulation and checking tool. Checking a Java...
2004 / Sarfraz Khurshid, Darko Marinov -
Top-Secret Multi-Agent Systems2004 / Robert Ghanea-Hercock, Ian Gifford
-
Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.
Abstract In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then,...
2004 / Reiko Heckel, Jochen M. Küster -
Characterizing Non-Zenoness on Real-Time Processes
Abstract In this paper we examine an important property of correct system design that is called non-Zenoness or time progress. We present a method that allows to check non-Zenoness on a restricted subclass of real-time processes. The processes that...
2004 / Jitka Stříbrná, Insup Lee -
Queue Size Distribution of an ATM Switch with VBR Video Traffic
Abstract Many analytical tools have been devised to analyze CBR video coders, however only few have been applied to the VBR case. In this paper, we present a semi-Markov process model for approximating the stochastic equilibrium queue length...
2013 / Nasser-Eddine Rikli -
Configuration of Quality of Service Parameters in Communication Networks
Abstract Quality of Service in communication networks is a request for minimal required performance needed for transferring IP packets in a network. The performance can be ensured with a set of mechanisms that guarantee required performance through...
2014 / Hrvoje Kozačinski, Petar Knežević -
Hierarchical Scheduling Mechanisms for Multilingual Information Resources in Cloud Computing
Abstract Cloud computing provides information resources for users in “Cloud” through the Internet. These information resources with a variety of different languages are distributed in Web pages and the databases. The scheduling of multilingual...
2013 / Yaojun Han, Xuemei Luo -
Flandersʼ theorem for many matrices under commutativity assumptions
Abstract We analyze the relationship between the Jordan canonical form of products, in different orders, of k square matrices A ...
2013 / Fernando De Terán, Ross A. Lippert, Yuji Nakatsukasa, Vanni Noferini -
Performance Analysis of Kernel Adaptive Filters based on LMS Algorithm
Abstract The design of adaptive nonlinear filters has sparked a great interest in the machine learning community. The present paper aims to present some recent developments in nonlinear adaptive filtering. It provides an in-depth analysis of the...
2013 / Ibtissam Constantin, Régis Lengellé -
Foundations for the Implementation of Automatic Control in a Hybrid Flexible Manufacturing System
Abstract This paper describes the main methodological bases to incorporate virtual elements in an existing Flexible Manufacturing System (FMS). This procedure allows building a hybrid system where virtual and real elements co-exist. Present work...
2013 / A. Sanz-Lobera, G. Angulo-Fernández, J. Ureña-Alcázar, I. González-Requena -
A new algorithm for dimensioning resilient optical networks for shared-mesh protection against multiple link failures
Abstract Failures of fiber links can result in major loss of data in high-speed optical communication networks. Survivability is of critical importance, making high levels of availability essential, given the increased level of infrastructure...
2014 / Dyson Pereira, Manoel Camillo Penna -
Towards a Distributed Plan Execution Monitoring Framework
Abstract Distributed monitoring is challenging yet essential in order to address scalability issues observed in the context of large-scale plan execution. A formal framework can be very helpful in analyzing and reasoning about plan spec- ification,...
2013 / Yosr Jarraya, Sujoy Ray, Andrei Soeanu, Mourad Debbabi, Mohamad Allouche, et al. -
Examining Monotonicity and Saliency Using Level-k Reasoning in a Voting Game2014 / Anna Bassi, Kenneth Williams
-
Research on Key Technologies of Detecting 1553B Avionics Data Bus Network
Abstract 1553B avionics data bus network may fail due to vibration, temperature, humidity or human error. Therefore, the research on detection technology of 1553B avionics data bus network is an important subject. The key technologies are studied by ...
2013 / Dan-qiang Chen, Guo-hua Cao, Jing-hua Wang, Hui-lin Fan -
IIR system identification using differential evolution with wavelet mutation
Abstract In this paper an improved version of Differential Evolution (DE) technique called Differential Evolution with Wavelet Mutation (DEWM) is applied to the infinite impulse response (IIR) system identification problem. Instead of fixed value of ...
2014 / P. Upadhyay, R. Kar, D. Mandal, S.P. Ghoshal -
A Cognitively Inspired Heuristic for Two-armed Bandit Problems: The Loosely Symmetric (LS) Model
Abstract We examine a model of human causal cognition, which generally deviates from normative systems such as classical logic and probability theory. For two-armed bandit problems, we demonstrate the efficacy of our loosely symmetric model (LS) and ...
2013 / Kuratomo Oyo, Tatsuji Takahashi