Computer and information sciences topic list of research papers
-
Virtual Reality as a Collaboration Tool for Factory Planning based on Scenario Technique
Abstract Over the last couple of years several factors have changed the behavior of companies to interact and collaborate. This can be attributed mainly to a turbulent environment. In addition, the use of Virtual Reality (VR) as a tool for...
2013 / Nicole Menck, Christian Weidig, Jan C. Aurich -
On the Recognition of Algorithm Templates
Abstract This paper deals with the problem of deciding whether a System of Affine Recurrent Equations (SARE) is an instantiation of a SARE template. A solution to this problem would be a step toward algorithm template recognition and open new...
2005 / Christophe Alias, Denis Barthou -
Lexicalized Syntax and Topology for Non-projective Dependency Grammar
Abstract We propose a lexicalized formulation of dependency grammar that addresses both immediate dependence and linear precedence. Our approach distinguishes two orthogonal, yet mutually constraining dependency trees: an ID tree of syntactic...
2005 / Denys Duchier -
Formal Methods Research at SICS and KTH2004 / Mads Dam, Lars-Åke Fredlund, Dillian Gurov
-
Chapter 2: Road Traffic Regulation
Abstract This document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [13]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique...
2005 / S.F.M. van Vlijmen, A. van Waveren -
A Component Framework Based on High-Level Replacement Systems
Abstract This paper is based on two general concepts. The first one is a generic component framework for system modeling presented at FASE 2002, which is especially useful for graph- and net-based modeling techniques. The second one is the concept...
2004 / Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen -
Digital Straightness
Abstract A digital arc is called ‘straight’ if it is the digitization of a straight line segment. Since the concept of digital straightness was introduced in the mid-1970's, dozens of papers on the subject have appeared; many characterizations of...
2004 / Azriel Rosenfeld, Reinhard Klette -
ILX: Extending the .NET Common IL for Functional Language Interoperability
Abstract This paper describes several extensions to the .NET Common Intermediary Language (CIL), each of which is designed to enable easier implementation of typed high-level programming languages on the .NET platform, and to promote closer...
2005 / Don Syme -
Operational Subsumption, an Ideal Model of Subtyping
Abstract In a previous paper we have defined a semantic preorder called operational subsumption, which compares terms according to their error generation behaviour. Here we apply this abstract framework to a concrete language, namely the...
2005 / Laurent Dami -
Efficient Compilation of Functional Languages by Program Transformation
Abstract This article presents how automatic program transformation techniques can be used in a functional language compiler to get significant improvement in the performance of the code generated. The transformations used are simple, but when they...
2005 / André Santos -
Towards Automatic Mediation between Heterogeneous Software Components
Abstract An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an abstract manner, hiding the component's actual interaction...
2004 / Klaus-Peter Löhr -
Basic Results for Two Types of High-Level Replacement Systems1 1Research partially supported by the European Community under TMR Network GETGRATS and the ESPRIT Working Group APPLIGRAPH.
Abstract The general idea of high-level replacement systems is to generalize the concept of graph transformation systems and graph grammars from graphs to all kinds of structures which are of interest in Computer Science and Mathematics. Within the...
2004 / Hartmut Ehrig, Annegret Habel, F. Parisi-Presicce -
Properties of the subtraction valid for any floating point system2004 / Sylvie Boldo, Marc Daumas
-
Towards Object-Oriented Klaim
Abstract By its own nature, mobile code requires flexibility in order to be adaptive to any execution context it may be run in. In this paper we investigate this flexibility requirement from the design point of view, and propose a solution based on...
2004 / Lorenzo Bettini, Viviana Bono, Betti Venneri -
Dynamic Assertions Using TXP
Abstract In this paper, we present a new temporal property specification language TXP. The language is designed to support dynamic monitoring of temporal properties at simulation runtime, as well as to provide the input specification for formal...
2004 / Surrendra Dudani, João Geada, Grzegorz Jakacki, Daniel Vainer -
Automated Composition of Module Chains
Abstract We introduce a problem of module composition. Modules are seen as “black boxes” with input and output ports. A compatibility relation models which input ports can connected to which output ports. We are given a set of available modules and...
2004 / Stavros Tripakis -
A Refinement of the μ-measure for Stack Programs
Abstract We analyze the complexity of a programming language operating on stacks, introducing a syntactical measure σ such that to each program P a...
2003 / Emanuele Covino, Giovanni Pani -
ARIFS:
Abstract The selection of appropriate components for satisfying a given equirement is a key problem in software reuse. Although this problem is remarkable in the reuse of software within same domain or application area, which is known as vertical...
2004 / Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Belén Barragáns Martínez -
Development of Dashboard Visualization for Cardiovascular Disease based on Star Scheme
Abstract Many organisations have separate and disperse set of data for many years. Disperse and separation data have negative impacts for the organizations. Thus, the concept of data warehousing has emerged. From data warehouse concept many...
2014 / Noor Suhani Sulaiman, Jamaiah H. Yahaya -
Analyzing Performance of the Parallel-based Fractal Image Compression Problem on Multicore Systems
Abstract Both the size and the resolution of images always were key topics in the graphical computing area. Especially, they become more and more relevant in the big data era. We can observe that often a huge amount of data is exchanged by...
2013 / Roberto de Quadros Gomes, Vladimir Guerreiro, Rodrigo da Rosa Righi, Luiz Gonzaga da Silveira, Jinyoung Yang