Computer and information sciences topic list of research papers
-
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization
Abstract The MDG approach for hardware verification was recently proposed to overcome some limitations of traditional ROBDD-based methods of automated verification. One of its weakness, however, is that it may suffer from the non termination of the...
2004 / S. Renault, E. Cerny -
Remarks on Elementary Linear Logic
Abstract Last works in linear logic mark a trend that can be summarized as: studying of fragments of calculi which have good logical properties and a quite powerful class of representable functions. ELL is a system derived from ...
2005 / Marco Pedicini -
User System Interaction Within Theorema1 1This research is supported by the Austrian Science Foundation (FWF)-project FO1302 (SFB). Extended Abstract
Abstract The purpose of Theorema is to provide various ranges of users, from students to experts of mathematics, with an integrated environment for computing, solving, and proving. To make the system convenient, it is necessary to have sophisticated ...
2005 / Koji Nakagawa, Felix Kossak -
Performing integrated system tests using malicious component insertion
Abstract In this paper, a testing method suitable for strengthening fault tolerance in the event of unexpected situations within a software system is presented. It is based on the idea of testing an integrated system, by substituting system...
2004 / Dr. Charalampos Patrikakis, Thomas Kalamaris, Vaios Kakavas -
Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars
Abstract We present an algorithm for checking whether an infinite transition system, defined by a graph grammar of a restricted kind, is a model of a formula of the temporal logic CTL. We first present the syntax and the semantics of CTL, that are...
2005 / Yves-Marie Quemener, Thierry Jéron -
Distributed Timed Automata
Abstract In this article we discuss (i) a model suitable for describing a distributed real-time system and (ii) a notion of implementation for such systems on a uniprocessor system. The first point is addressed by amalgamating finite state automata...
2005 / Padmanabhan Krishnan -
Coordinated Distributed Diagram Transformation for Software Evolution1 1Partially supported by the EC under Research and Training Network SeGraVis.
Abstract We present an approach to maintaining consistency between code and specification during refactoring, where a specification comprises several UML diagrams of different types. Code is represented as a flowgraph, and the flowgraph and UML...
2004 / Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer -
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
Abstract The research examines liveness and progress properties of concurrent systems and their on-the-fly verification. An alternative formalism to Büchi automata, called testing automata, is developed. The basic idea of testing automata is to...
2004 / Henri Hansen, Wojciech Penczek, Antti Valmari -
Bisimilarity as a Theory of Functional Programming
Abstract Morris-style contextual equivalence — invariance of termination under any context of ground type — is the usual notion of operational equivalence for deterministic functional languages such as FPC (PCF plus sums, products and recursive...
2004 / Andrew D. Gordon -
Transfer Entropy Weighting Soft Subspace Clustering2015 / Cong-Zhe You, Xiao-Jun Wu
-
The Security Picalculus and Non-interference (Extended Abstract)
Abstract The security π-calculus is a typed version of the asynchronous π-calculus in which the types, in addition to constraining the input/output behaviour of processes, have security levels associated with them. This enables us to introduce a...
2014 / Matthew Hennessy -
How do Arab Speakers Cognitively Process Malay in the Arabic Script?
Abstract Reading is one area within cognitive psychology that is rigorously studied through experiments. Cognitive psychologists describe reading as “a highly complex process” because this receptive skill depends on different sub-processes that are...
2014 / Khazriyati Salehuddin, Heather Winskel -
A Set of Annotation Interfaces for Alignment of Parallel Corpora2014 / Anil Kumar Singh
-
Students’ Interpretations of the 6th Grade Science Textbook Design
Abstract Text books use a lot of visual mat erials to support teaching. In many cases student text books include attractive illustrations more for selling purposes. To support the educational design of student text books...
2014 / Sirje Piht, Rea Raus, Airi Kukk, Kerli Martin, Kaie Riidak -
Optimizing sliver quality using Artificial Neural Networks in ring spinning
Abstract Sliver evenness is a very important parameter affecting the quality of the yarn produced. Therefore, controlling the sliver evenness is of major importance. Auto-levelers mounted on modern Drawing Frames should be accurately adjusted to...
2013 / Samar Ahmed Mohsen Abd-Ellatif -
Instructional Design and Learning Theory on the Development of C++ Programming Multimedia Content
Abstract This paper discusses on the possibility of taking advantage of the well-served Gagne's theory of learning and combining it with the benefits of instructional design. Such potent combination can surely be extended further with the...
2013 / Mohd Nor Hajar Hasrol Jono, Azlan Abdul Aziz, Mohamad Ibrahim, Norsaniah Md Noh -
Representing and Reasoning about Utilization of Cloud Computing as Bayesian Games with Epistemic Logic
Abstract In order to advise a cloud client whether to use cloud services or not, we model the scenario of utilization of cloud computing based on Bayesian games. These games are strategic games with incomplete information for modeling the...
2013 / Oldooz Dianat, Mehmet A. Orgun -
Inverse spiking filter based acquisition enhancement in software based global positioning system receiver
Abstract The lower visibility of the satellite in the acquisition stage of a GPS receiver under worst noisy situation leads to reacquisition of the data and thereby takes a longer time to obtain the first position fix. If the impulse noise affects...
2014 / G. Arul Elango, G.F. Sudha, Bastin Francis -
Ligature intersphinctérienne du trajet fistuleux ou LIFT (avec vidéo)2014 / M.-L. Barussaud, B. Roussel, T. Courvoisier, J.-P. Faure
-
On the Representation and Aggregation of Evidence in Software Engineering: A Theory and Belief-based Perspective
Abstract An adequate representation and a feasible aggregation procedure of evidence represents a challenging problem in many disciplines. The right representation can help scientists discuss and present the results of their findings and, if it is...
2013 / Paulo Sérgio Medeiros dos Santos, Guilherme Horta Travassos