Computer and information sciences topic list of research papers
-
A Hofmann-Mislove theorem for Bitopological Spaces
Abstract We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. Under the additional assumption of regularity, we prove a...
2007 / Achim Jung, M. Andrew Moshier -
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting
Abstract This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, method invocation counters, and bytecode instruction counters. ...
2006 / Walter Binder, Jarle Hulaas -
Preface2010 / Jens Happe, Barbora Buhnova
-
An Abstract Interpretation Toolkit for μCRL
Abstract This paper describes a toolkit that assists in the task of generating abstract approximations of process algebraic specifications written in the language μCRL. Abstractions are represented by Modal Labelled Transition Systems, which are...
2005 / Jaco van de Pol, Miguel Valero Espada -
Q-Automata: Modelling the Resource Usage of Concurrent Components
Abstract Q–automata are introduced to model quality aspects of component-based software. We propose Q-algebras as a general framework that allows us to combine and choose between quality values. Such values are added to the transitions of automata,...
2007 / Tom Chothia, Jetty Kleijn -
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems
Abstract In this article we present how the component triggering in SaveCCM, a component model intended for embedded vehicular systems, can be extended by means of an event algebra. The extension allows components to be triggered by complex event...
2005 / Jan Carlson, Mikael Åkerholm -
Service Oriented Computing: A New Challenge for Process Algebras
Abstract Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects of Service Oriented Computing (loose coupling, communication...
2006 / Mario Bravetti, Gianluigi Zavattaro -
Adaptable Mixed-Initiative Proof Planning for Educational Interaction2004 / Andreas Meier, Erica Melis, Martin Pollet
-
Automata Games for Multiple-model Checking
Abstract 3-valued models have been advocated as a means of system abstraction such that verifications and refutations of temporal-logic properties transfer from abstract models to the systems they represent. Some application domains, however,...
2006 / Altaf Hussain, Michael Huth -
Correct Execution of Reconfiguration for Stateful Components
Abstract In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but also behavioural aspects have to be taken into account in...
2009 / Moritz Hammer, Alexander Knapp -
Semi-Supervised Training of Language Model on Spanish Conversational Telephone Speech Data
Abstract This work addresses one of the common issues arising when building a speech recognition system within a low-resourced scenario-adapting the language model on unlabeled audio data. The proposed methodology makes use of such data by means of...
2016 / Ekaterina Egorova, Jordi Luque Serrano -
A New Method for Scheduling Divisible Data on a Heterogeneous Two-Levels Hierarchical System
Abstract During the last decade, the use of parallel and distributed systems has become more common. In these systems, a huge chunk of data or computation is distributed among many systems in order to obtain better performance. Dividing data is one...
2011 / Amin Shokripour, Mohamed Othman, Hamidah Ibrahim, Shamala Subramaniam -
Position paper on the simulation of high-frequency optical waves
Abstract This paper will provide an insight into the design and software engineering aspects of a simulation software for time-harmonic electro-magnetic waves with application to the simulation of optical waves in lithography and thin-film solar...
2010 / K. Hertel, C. Pflaum -
Wireless sensor networks in knowledge management
Abstract Research in Wireless Sensor Networks (WSN) necessarily touches on many research topics of Computer Science, Electronic Engineering and Telecommunication, basing on the existing work in related fields. However, the peculiarity of the WSN...
2010 / José-Fernán Martínez, Pedro Castillejo, Marta Zuazua, Ana-Belén García, Lourdes López, et al. -
Effects of e-learning on language learning
Abstract The aim of this study is to do a research on the effects of e-learning and sub-categories such as :internet; Web-based English learning and computer-assisted language learning(CALL)on language learning.Before growing prevalence of Word Wide ...
2011 / Neda Mohammadi, Vahid Ghorbani, Farideh Hamidi -
Active learning processes to study memory hierarchy on Multicore systems
Abstract A current challenge for computer users is to fully exploit performance of new Multicore systems. We propose a methodology for students in computational science to analyze the effect of memory hierarchy on application performance. The...
2010 / John Corredor, Juan Carlos Moure, Dolores Rexachs, Daniel Franco, Emilio Luque -
Parallel computation of phylogenetic consensus trees
Abstract The field of bioinformatics is witnessing a rapid and overwhelming accumulation of molecular sequence data, predominantly driven by novel wet-lab sequencing techniques. This trend poses scalability challenges for tool developers. In the...
2010 / Andre J. Aberer, Nicholas D. Pattengale, Alexandros Stamatakis -
The block by block method for the numerical solution of the nonlinear two-dimensional Volterra integral equations
Abstract In this study, an efficient method is presented for solving nonlinear two-dimensional Volterra integral equations of the second kind. Using block by block method, nonlinear two-dimensional Volterra integral equations reduce to a algebraic...
2010 / Farshid Mirzaee, Zinat Rafei -
Data Life Cycle Management and Analytics Code Execution Strategies for the Breath Gas Analysis Domain
Abstract In this paper we present a novel dataspace-based support platform for the international breath gas analysis community, which consists of over 30 institutions world wide with rapidly expanding research studies in various application domains. ...
2012 / Ibrahim Elsayed, Thomas Ludescher, Alexander Wöhrer, Thomas Feilhauer, Peter Brezany -
FUSING SIMILARITY RANKINGS IN LIGAND-BASED VIRTUAL SCREENING
Abstract Data fusion is the name given to a range of methods for combining multiple sources of evidence. This mini-review summarizes the use of one such class of methods for combining the rankings obtained when similarity searching is used for...
2013 / Peter Willett