Computer and information sciences topic list of research papers
-
Encoding RTL Constructs for MathSAT: a Preliminary Report
Abstract Formal checking at Register-Transfer Level (RTL) is currently a fundamental step in the design of hardware circuits. Most tools for formal checking, however, work at the boolean level, which is not expressive enough to capture the abstract, ...
2006 / Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, et al. -
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
Abstract In this paper we present the main features and implementation details of a programming language that we call Bousi~Prolog. It can be seen as an extension of Prolog able to deal with similarity-based fuzzy unification (“Bousi” is the Spanish ...
2009 / Pascual Julián-Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero -
Integrating Time and Resource into Circus
Abstract In this paper, a formal model is introduced for reasoning about resource allocation and scheduling in real-time systems. We extend the concurrent refinement language Circus [Woodcock, J.C.P....
2005 / Geguang Pu, Zongyan Qiu, Jifeng He -
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL2004 / Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard
-
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Abstract Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem with several applications in the fields of term rewriting and...
2007 / Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas -
Towards an Automated Deployment Planner for Composition of Web Services as Software Components
Abstract In this paper, we present our work-in-progress on developing an automated deployment planner for the composition of Web services as software components using the Reo coordination middleware in a distributed environment. Web services refer...
2006 / Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab -
Reversible Computation and Reversible Programming Languages
Abstract A reversible programming language supports deterministic forward and backward computation. This tutorial focuses on a high-level reversible programming language Janus. In common with other programming paradigms, reversible programming has...
2010 / Tetsuo Yokoyama -
Preface2005 / Jeremy Bradley, William Knottenbelt
-
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Abstract The notion of contract was introduced to component-based software development in order to facilitate the semantically correct composition of components. We extend the form of this notion which is based on designs to capture probabilistic...
2010 / Dimitar P. Guelev, Dang Van Hung -
Relational Analysis and Precision via Probabilistic Abstract Interpretation
Abstract Within the context of a quantitative generalisation of the well established framework of Abstract Interpretation – i.e. Probabilistic Abstract Interpretation – we investigate a quantitative notion of precision which allows us to compare...
2008 / Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky -
Tool Integration with Triple Graph Grammars - A Survey
Abstract Nowadays, typical software and system engineering projects in various industrial sectors (automotive, telecommunication, etc.) involve hundreds of developers using quite a number of different tools. Thus, the data of a project as a whole is ...
2006 / Alexander Königs, Andy Schürr -
GXL to GraphML and Vice Versa with XSLT
Abstract We explore the issues involved in converting graph data stored in GXL or GraphML into each other. It turns out that XSLT provides a simple, portable, and effective mechanism for format conversion in either direction. As a by-product, some...
2005 / Ulrik Brandes, Jürgen Lerner, Christian Pich -
Digital Control algorithm for Two-Stage DC-DC Converters
Abstract A systematic digital control method is proposed for the two-stage dc-dc converter, and the design procedure is demonstrated. As the high number of reactive components, the dynamic response of the topology is very complex. The analysis of...
2012 / Changhao Piao, Hongtao Qiao, Cong Teng -
Efficient Context Modeling Using OWL in Mobile Cloud Computing
Abstract Mobile Cloud Computing has become as a new IT paradigm because of the growth of mobile device like smartphone and appearance of Cloud Computing environment. This mobile cloud environment provides various services and IT resources according...
2012 / Changboka, Hyokyung Chang, Hyosik Ahn, Euiin Choi -
Performance evaluation for an HMM-based keyword spotter and a large-margin based one in noisy environments
Abstract Keyword spotting refers to the detection of a limited number of given keywords in speech utterances. In this paper, first we review one of the large margin based keyword spotting approach that uses a discriminative method for training the...
2011 / Shima Tabibian, Akram Shokri, Ahmad Akbari, Babak Nasersharif -
Preface2010 / A. Kandaswamy, C. Lakshmi Deepika, Gary A. Atkinson
-
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
Abstract This paper presents an interface for geometry proving. It is a combination of a dynamic geometry software, Geogebra [Geogebra development team, Introduction to GeoGebra. http://www.geogebra.org/book/intro-en/] with a proof assistant, Coq...
2012 / Tuan Minh Pham, Yves Bertot -
A Quantum Swarm Evolutionary Algorithm for mining association rules in large databases
Abstract Association rule mining aims to extract the correlation or causal structure existing between a set of frequent items or attributes in a database. These associations are represented by mean of rules. Association rule mining methods provide a ...
2011 / Mourad Ykhlef -
Near set theory and its generalization
Abstract In this work we aim to use general topological structures as tools for near approximation space in information systems. General relations for granules form a subbase for some topological spaces. Theses topologies are applied for obtaining...
2010 / M.E. Abd El-Monsef, A.M. Kozae, E.A. Marei -
On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration2007 / P. Guironnet de Massas, P. Amblard, F. Pétrot