Computer and information sciences topic list of research papers
-
A Core Language for Rewriting
Abstract System S is a calculus providing the basic abstractions of term rewriting: matching and building terms, term traversal, combining computations and handling failure. The calculus forms a core language for implementation of a wide variety of...
2005 / Eelco Visser, Zine-el-Abidine Benaissa -
Generation of Asynchronous Component Adapters
Abstract Utilizing services of legacy and third party COTS components has become vital for the timely development and evolution of software systems. Component interfaces typically have to be adapted before they can be re-used in a system context....
2004 / Jens H. Jahnke, Luay Kawasme -
Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems
Abstract In the paper some problems connected with a process of knowledge discovery are considered. These problems are reduced to the set cover problem. It is known that under a plausible assumption on the class N P the greedy algorithm is close to...
2004 / Mikhail Ju. Moshkov -
Refactoring in Maintenance and Development of Z Specifications and Proofs
Abstract Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added functionality. There are new maintenance issues that arise...
2005 / Susan Stepney, Fiona Polack, Ian Toyn -
A categorical framework for typing CCS-style process communication
Abstract Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to examine the type structures appropriate to concurrent systems. In ...
2004 / Ralf Schweimeier -
Imprecise Exceptions, Co-Inductively
Abstract In a recent paper, Peyton Jones et al. proposed a design for imprecise exceptions in the lazy functional programming language Haskell [PJRH+99]. The main contribution of the design was that it allowed the language to continue to enjoy its...
2005 / Andrew Moran, Søren B. Lassen, Simon Peyton Jones -
Relating axiomatic and operational semantics of place/transition nets
Abstract In this paper we define partial orders associated to process terms of place/transition nets. Further, we construct a set of partial orders from a given set of process terms. For place/transition nets without loops we prove the following...
2004 / Jörg Desel, Gabriel Juhás, Robert Lorenz -
Refinement and the Z Schema Calculus
Abstract It is well known that the principal operators in the Z schema calculus are not monotonic with respect to refinement, which limits their usefulness in software development. The usual reaction to this observation is to remove all schema...
2005 / Lindsay Groves -
Set-based Nondeterministic Declarative Programming in Singleton
Abstract In this paper we present a declarative language that aims at combining valuable features of CLP languages—namely, nondeterminism, unification, constraint solving, dynamic data structures—with features of conventional programming languages...
2004 / Gianfranco Rossi -
A fast method to compute orthogonal loadings partial least squares2002 / Constantinos Goutis
-
Towards a Component Composition and Interaction Architecture for the Web
Abstract The Web is currently undergoing a change from a document- to a services-centered environment. This shift can be seen as a first step towards a component-centered environment. We shall explore requirements for a Web component architecture...
2004 / Claus Pahl, David Ward -
Controlling Rewriting by Rewriting
Abstract In this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational...
2004 / Peter Borovanský, Claude Kirchner, Hélène Kirchner -
Confinement Properties for Multi-Threaded Programs
Abstract Given a program that has access to some private information, how can we ensure that it does not improperly leak the information? We formalize the desired security property as a property called noninterference. We discuss versions of...
2004 / Geoffrey Smith, Dennis Volpano -
Syntactic Control of Interference Revisited
Abstract In “Syntactic Control of Interference” (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The resulting linguistic framework seems to be a very...
2004 / P.W. O'Hearn, A.J. Power, M. Takeyama, R.D. Tennent -
Web Videos – Concerns About Accessibility based on User Centered Design
Abstract Recently, the production and availability of multimedia Web content, as videos, have increased. In this scenario it is important to consider accessibility requirements so that any user can whelm the barriers to access content regardless of...
2014 / Johana María Rosas Villena, Bruno Costa Ramos, Renata Pontin M. Fortes, Rudinei Goularte -
Efficient Maximum Range Search on Remote Spatial Databases Using k-Nearest Neighbor Queries
Abstract Supporting aggregate range queries on remote spatial databases suffers from 1) huge and/or large numbers of databases, and 2) limited type of access interfaces. This paper applies the Regular Polygon based Search Algorithm (RPSA) to...
2013 / Hideki Sato, Ryoichi Narita -
Improve Network's Robustness Against Cascade with Rewiring
Abstract Cascade failure is an interesting theme on the study of complex network and has attracted a lot of researchers. Examples of cascade failure include disease epidemics, traffic congestion, electrical power system blackouts, etc. The most...
2013 / Hoang Anh Q. Tran, Akira Namatame -
Songket Motives Retrieval through Sketching Technique
Abstract Songket is an iconic Malay arts heritage with strong history essence. The fine weave that made up the songket texture is what make it stand out from the rest of the fabric. Literature study showed more than 300 songket motives had been...
2014 / Nadiah Yusof, Tengku Siti Meriam Tengku Wook, Siti Fadzilah Mat Noor -
TAO+: Extending the Conceptual Framework TAO to Support Internal Agent Architectures in Normative Multi-Agent Systems
Abstract The existence of Normative Multi-Agent Systems, where the interaction between agents with different internal architectures is governed by norms, promotes the existence of an ontology suitable to define these related concepts. In this...
2013 / Emmanuel Sávio Silva Freire, Enyo José Tavares Gonçalves, Mariela Inés Cortés, Yrleyjânder Salmito Lopes, Marcius Gomes Brandão -
An optimized cosine-modulated nonuniform filter bank design for subband coding of ECG signal
Abstract A simple iterative technique for the design of nonuniform cosine modulated filter banks (CMFBS) is presented in this paper. The proposed technique employs a single parameter for optimization. The nonuniform cosine modulated filter banks are ...
2013 / A. Kumar, G.K. Singh, S. Anurag