Computer and information sciences topic list of research papers
-
On twisted factorizations of block tridiagonal matrices
Abstract Non-symmetric and symmetric twisted block factorizations of block tridiagonal matrices are discussed. In contrast to non-blocked factorizations of this type, localized pivoting strategies can be integrated which improves numerical stability ...
2010 / Wilfried N. Gansterer, Gerhard König -
Positive Train Control (PTC) failure modes
Abstract Positive Train Control (PTC) systems can eliminate the consequences of collision or derailment. However, prior to the full-scale deployment of these systems, the Federal Government must conduct a regulatory review and approve the risk...
2010 / Mark Hartong, Rajni Goel, Duminda Wijesekera -
Inference regarding multiple structural changes in linear models with endogenous regressors
Abstract This paper considers the linear model with endogenous regressors and multiple changes in the parameters at unknown times. It is shown that minimization of a Generalized Method of Moments criterion yields inconsistent estimators of the break ...
2012 / Alastair R. Hall, Sanggohn Han, Otilia Boldea -
Comonadic Notions of Computation
Abstract We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on streams) and of tree relabelling as in attribute evaluation. We...
2008 / Tarmo Uustalu, Varmo Vene -
Aspect-orientation For Revitalising Legacy Business Software
Abstract This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. By means of four realistic case studies covering reverse...
2006 / Kris De Schutter, Bram Adams -
Preface2005 / Alexandre Mota, Arnaldo Moura
-
Testing Non-deterministic Stream X-machine Models and P systems
Abstract Under certain well defined conditions, the stream X-machine testing method can produce a test set that is guaranteed to determine the correctness of an implementation. The testing method has originally assumed that an implementation of each ...
2009 / Florentin Ipate, Marian Gheorghe -
Refactoring Alloy Specifications
Abstract This paper proposes modeling laws for Alloy, a formal object-oriented modeling language. These laws are important not only to define the axiomatic semantics of Alloy but also to guide and formalize popular software development practices. In ...
2004 / Rohit Gheyi, Paulo Borba -
Relational Semantics Revisited
Abstract This paper describes the systematic use of fixpoints for the relational semantics of unboundedly nondeterministic sequential programs. The focus is on analysing the expressiveness of various semantic definitions and of powerdomains...
2009 / Eike Best, Kerstin Strecker -
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
Abstract The paper presents a case study on the synthesis of labelled transition systems (LTSs) for process calculi, choosing as testbed Cardelli and Gordon's Mobile Ambients (MAs). The proposal is based on a graphical encoding: each process is...
2009 / Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale -
Introducing Test Automation and Test-Driven Development: An Experience Report
Abstract This paper identifies and presents an approach to software component-level testing that in a cost effective way can move defect detection earlier in the development process. A department at Ericsson AB introduced a test automation tool for...
2005 / Lars-Ola Damm, Lars Lundberg, David Olsson -
Insights to Angluin's Learning
Abstract Among other domains, learning finite-state machines is important for obtaining a model of a system under development, so that powerful formal methods such as model checking can be applied. A prominent algorithm for...
2005 / Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena -
Integration of BETA with Eclipse – An Exercise in Language Interoperability
Abstract This paper presents language interoperability issues appearing in order to implement support for the BETA language in the Java-based Eclipse integrated development environment. One of the challenges is to implement plug-ins in BETA and be...
2004 / Ole Lehrmann Madsen, Peter Andersen, Mads Brøgger Enevoldsen -
Decidable Fragments of a Higher Order Calculus with Locations
Abstract Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show ...
2009 / Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel -
A Model in κ for DNA Addition
Abstract DNA computing is a hot research topic in recent years. Formalization and verification using theories(π-calculus, bioambients, κ-calculus and etc.) in Computer Science attract attention because it can help prove and predict to a certian...
2007 / Xian Xu, Xiaoju Dong, Yuxi Fu -
Rewriting Strategies in Java
Abstract In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The notion of strategy is complementary: this describes how rules ...
2008 / Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles -
An efficient MAC-based scheme against pollution attacks in XOR network coding-enabled WBANs for remote patient monitoring systems2016 / Alireza Esfahani, Georgios Mantas, Hélio Silva, Jonathan Rodriguez, Jose Carlos Neves
-
A petri nets based design of cognitive radios using distributed signal processing
Abstract Reconfigurability for transceivers for wireless access networks like Bluetooth, WiMAX and W-LAN will become increasingly important. An appropriately flexible and reliable software architecture, allowing the concurrent processing of...
2009 / Christoph Spiegel, Alexander Viessmann, Admir Burnic, Christian Kocks, Andreas Waadt, et al. -
A Novel Approach to Explore Inter Agent Dependencies from User Requirements
Abstract Inter-agent communication is one of the main concerns of Agent-Oriented requirements engineering that is delineated as managing inter-dependencies and interaction among various agents performing collaborative activities. In a Multi-Agent...
2012 / Vibha Gaur, Anuja Soni -
Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions2005 / Yehoshua Sagiv