Computer and information sciences topic list of research papers
-
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Abstract We present the design and implementation of a framework for interchangeable distributed algorithms. The algorithms are drawn from the set which includes mutual exclusion, deadlock detection and agreement protocols, and we have implemented...
2005 / Karen Renaud, Judith Bishop, Johnny Lo, Basil Worrall -
A Logic with Temporal Glue for Mixed Specifications
Abstract Separation of concerns or aspects is nowadays recognized as an important issue in software engineering, both at the programming and at the design/specification level. The goal of mixed specification languages (e.g. SDL, value-passing...
2004 / Marc Aiguie, Fabrice Barbier, Pascal Poizat -
Interacting Extended State Diagrams
Abstract Integrated formal description techniques are a promising approach for the specification of multi-aspect systems. In this context, we have proposed a formalism, called Extended State Diagrams (ESD), combining in an homogeneous framework...
2005 / Gwen Salaün, Pascal Poizat -
Increasing Robustness of RC4 Family for Automated Selection of Ciphersuites
Abstract Information security is dependent on various access control mechanism governed by cryptography or the art of encryption and decryption. Cryptography is the largely built in computer hardware or in software using various discrete structure....
2012 / Arun Kumar Singh, Shefalika Ghosh Samaddar, Swagat Ranjan Sahoo, Glitto Mathew -
Unconstrained Handwritten Malayalam Character Recognition using Wavelet Transform and Support vector Machine Classifier
Abstract This paper presents the application of wavelet processing in the domain of handwritten character recognition. To attain high recognition rate, robust feature extractors and powerful classifiers that are invariant to degree of variability of ...
2012 / Jomy John, K.V. Pramod, Kannan Balakrishnan -
An Aspect-Oriented Language for Product Family Specification
Abstract Aspect-orientation is a paradigm for managing the separation of crosscutting concerns and decomposing a system using more than one criterion. This paper proposes an aspect-oriented approach at the feature-modeling level to better handle...
2012 / Qinglei Zhang, Ridha Khedri, Jason Jaskolka -
Cost Benefit Processor: Video Allocation Algorithm for Flash-based Solid State Disks
Abstract Despite the fact that Solid State Disk (SSD) storage media had offered a revolutionary property storages community, but the unavailability of a comprehensive video allocation strategy in these storage media, had leads to gluttonous...
2012 / Jaafer Mohammad Al-Sabateen, Saleh Ali Alomari, Putra Sumari -
The Enterprise AID methodology: Concepts
Abstract The Enterprise AID − for assessment, improvement, and design − methodology is a systems science-, operational test and evaluation-, and multicriteria decision analysis-based approach to design and deployment of performance measurement...
2013 / Thomas J. Meyers, Patrick T. Hester -
Implementation of Image Enhancement Algorithms and Recursive Ray Tracing using CUDA
Abstract This paper intends to achieve high performance in terms of time by implementing various time consuming application on NVIDIA Graphics Processing Unit (GPU) by using parallel programming model NVIDIA Compute Unified Device Architecture...
2016 / Mr. Diptarup Saha, Mr. Karan Darji, Narendra Patel, Darshak Thakore -
SEA Presidential address: Group connectivity and cooperation2011 / Amparo Urbano
-
ISYS (Integrated SYStem): A Platform for Integrating Heterogeneous Bioinformatic Resources2002 / Damian Gessler
-
Lower and upper bounds for the two-echelon capacitated location-routing problem
Abstract In this paper, we introduce two algorithms to address the two-echelon capacitated location-routing problem (2E-CLRP). We introduce a branch-and-cut algorithm based on the solution of a new two-index vehicle-flow formulation, which is...
2012 / Claudio Contardo, Vera Hemmelmayr, Teodor Gabriel Crainic -
On the Complexity of Sandpile Prediction Problems
Abstract In this work we study the complexity of Sandpile prediction problems on several classes of directed graphs. We focus our research on low-dimensional directed lattices. We prove some upper and lower bounds for those problems. Our approach is ...
2009 / J. Andrés Montoya, Carolina Mejía -
High Level Conflict Management Strategies in Advanced Access Control Models
Abstract Specifying a security policy that includes both permissions and prohibitions, may lead to conflicts. This corresponds to a situation where a subject is both permitted and prohibited to perform a given action on a given object. We adopt a...
2007 / Frédéric Cuppens, Nora Cuppens-Boulahia, Meriam Ben Ghorbel -
Undecidability of Multi-modal Hybrid Logics
Abstract This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓, with respect to frame classes over which the same language with only one modality is decidable. This is in contrast to the...
2007 / Martin Mundhenk, Thomas Schneider -
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
Abstract In this paper, we address the problem of reducing the size of nondeterministic (bottom-up) tree automata. We propose a uniform framework that allows for combining various upward and downward bisimulation and simulation relations in order to ...
2009 / Parosh A. Abdulla, Lukáš Holík, Lisa Kaati, Tomáš Vojnar -
Flexible Communication of Agents based on FIPA-ACL
Abstract Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, are defined. We focus specially on the communication of...
2006 / Jamshid Bagherzadeh, S. Arun-Kumar -
The Amsterdam Toolkit for Language Archaeology
Abstract GRK — the Grammar Recovery Kit — illustrates options for automation and corresponding tool support in the context of developing quality language references that readily cater for the derivation of parsers. GRK provides the ...
2005 / Ralf Lämmel -
Presenting and Explaining Mizar
Abstract The Mizar proof language has both many human-friendly presentation features, and also firm semantical level allowing rigorous proof checking. Both the presentation features and the semantics are important for users, and an ideal Mizar...
2007 / Josef Urban, Grzegorz Bancerek -
Observational Coalgebras and Complete Sets of Co-operations
Abstract In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to...
2008 / Clemens Kupke, Jan Rutten