Computer and information sciences topic list of research papers
-
Pixel Geometry
Abstract An alternative approach to studying the denotational semantics of programming languages is suggested and studied through an example borrowed from geometry. In contrast to the prevailing Scott-Strachey approach using continuous mathematics a ...
2005 / Stephen G. Matthews -
Algebraic semantics of ER-models in the context of the calculus of relations
Abstract Entity-Relationship modeling is a popular technique for data modeling. Despite its popularity and wide spread use, it lacks a firm semantic foundation. We propose a translation of an ER-model into the formalism provided by the calculus of...
2004 / Eugenio G. Omodeo, Ernst-Erich Doberkat -
Specifying the PLAN Network Programming Langauge
Abstract We discuss how the specification of the PLAN programming language supports the design objectives of the language. The specification aims to provide a mathematically precise operational semantics that can serve as a standard for implementing ...
2005 / Pankaj Kakkar, Michael Hicks, Jon Moore, Carl A. Gunter -
Research on Domain-specific Embedded Languages and Program Generators
Abstract Embedding is the process of implementing a language by defining functions in an existing “host” Language; the host language with these added functions is the new language. As a consequence; the new language comes equipped with all the...
2005 / Samuel N. Kamin -
Temporal Constraints for Concurrent Objects2004 / Giuseppe Milicia, Vladimiro Sassone
-
On Expressive Completeness of Duration and Mean Value Calculi (Extended Abstract)
Abstract This paper compares the expressive power of first-order monadic logic of order, a fundamental formalism in mathematical logic and the theory of computation, with that of two formalisms for the specification of real-time systems, the...
2005 / Alexander Rabinovich -
Modal Logics for Cryptographic Processes
Abstract We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in...
2005 / Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen -
Pullback rewriting and applications1 1This research was partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Basic Research Working Group APPLIGRAPH (Applications of Graph Transformation).
Abstract Following the tradition of language theory, the majority of the approaches to graph rewriting, be they presented in a categorical, algebraic, or set-theoretic framework, relied upon a notion of substitution consisting of union followed by...
2004 / Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs -
Processes and Local Actions
Abstract Local Action Systems are intended as a unifying framework for a number of types of graph rewriting based on embedding. In the first part of the paper a theory of true concurrent processes for embedding-based graph rewriting is developed,...
2004 / Dirk Janssens -
Characterization of ILP Distribution for NASA NAS Parallel Benchmarks
Abstract A characterization study of analyzing dynamic instruction traces to characterize program parallelism is conducted. This study supports that the experimental design of supercomputer and parallel computers calls for quantifiable methods to...
2013 / Abdullah I. Almojel -
Reducing Library Overheads through Source-to-Source Translation
Abstract Object oriented application libraries targeted to a specific application domain are an attractive means of reducing the software development time for sophisticated high performance applications. However, libraries can have the drawback of...
2012 / Alden King, Scott Baden -
Demystifying MapReduce
Abstract Recent innovations in Big Data have enabled major strides forward in our ability to glean important insights from massive amounts of data, and to use these insights to make better decisions. Underlying many of these innovations is a...
2013 / Christopher Garcia -
Wavelet low- and high-frequency components as features for predicting stock prices with backpropagation neural networks
Abstract This paper presents a forecasting model that integrates the discrete wavelet transform (DWT) and backpropagation neural networks (BPNN) for predicting financial time series. The presented model first uses the DWT to decompose the financial...
2013 / Salim Lahmiri -
Resúmenes en inglés – English abstracts2012 /
-
Towards Socio-Cyber-Physical Systems in Production Networks
Abstract The adoption of Cyber-Physical Systems (CPS) in production networks enables new potential for improved efficiency, accountability, sustainability and scalability. In terms of production and transport processes, materialising this potential...
2013 / Enzo Morosini Frazzon, Jens Hartmann, Thomas Makuschewitz, Bernd Scholz-Reiter -
Practical use of Approximate Hash Based Matching in digital investigations
Abstract Approximate Hash Based Matching (AHBM), also known as Fuzzy Hashing, is used to identify complex and unstructured data that has a certain amount of byte-level similarity. Common use cases include the identification of updated versions of...
2014 / Petter Christian Bjelland, Katrin Franke, André Årnes -
An intelligent approach for variable size segmentation of non-stationary signals
Abstract In numerous signal processing applications, non-stationary signals should be segmented to piece-wise stationary epochs before being further analyzed. In this article, an enhanced segmentation method based on fractal dimension (FD) and...
2014 / Hamed Azami, Hamid Hassanpour, Javier Escudero, Saeid Sanei -
EMV Card: Generation of Test Cases based on SysML Models
Abstract The smart cards are increasingly used in several fields with critical data that require security. We cite, as example, the medical field and payment shopping with smart card. Therefore, the hardware and software security of smart cards is...
2013 / Noura Ouerdi, Mostafa Azizi, Jean-louis Lanet, Abdelmalek Azizi, M’hammed Ziane -
Investigation of Cyclic Vehicle Queue and Delay Relationship for Isolated Signalized Intersections
Abstract Delay is the one of the design criteria that has been used for performance evaluation of signalized intersections. In pre-timed control, vehicle delays can be minimized or reduced by proper design of signal timings and phasing. But vehicle...
2014 / Yetis Sazi Murat, Sabit Kutluhan, Ziya Cakici -
Finding Pattern Configurations for Bank Cheque Printing
Abstract The problem we address in this paper arises in large-scale manufacturing of bank cheques. Due to security reasons, the cheques must be printed on special (expensive) paper. The first step in the printing process is to prepare the plates...
2014 / R. Cerulli, R. De Leone, M. Gentili