Computer and information sciences topic list of research papers
-
Preface2004 / Mario Bravetti, Gianluigi Zavattaro
-
Automatic Formal Synthesis of Hardware from Higher Order Logic
Abstract A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in the HOL4 system, and generates a correctness theorem for each...
2006 / Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind -
A Behavioural Pseudometric based on λ–Bisimilarity
Abstract In order to describe approximate equivalence among processes, the notions of λ–bisimilarity and behavioural pseudometric have been introduced by Ying and van Breugel respectively. Van Breugel provides a distance function induced by...
2008 / Jinjin Zhang, Zhaohui Zhu -
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency
Abstract Space leaks are a common operational problem in programming languages with automated memory man-agement. Graph rewriting is a natural model of operational behaviour. This paper summarises a PhD thesis which gives a graph-rewriting framework ...
2007 / Adam Bakewell -
Preface2010 / Bart Jacobs, Milad Niqui, Jan Rutten, Alexandra Silva
-
Semi-automatic Generation of Metamodels and Models From Grammars and Programs
Abstract Most recent languages used in the field of computer science (programming languages, modelling languages, …) are defined by using a grammar-based notation. Although the definition of a language by metamodels is more convenient in terms of...
2008 / Andreas Kunert -
A Novel Method of Signal Denoising
Abstract A novel time-frequency technique for linear and nonlinear frequency modulated signal denoising is proposed. The proposed method is based on the principle of Quasi Fourier Transform (QTF). Firstly, we discusses in depth the principles and...
2012 / Gang Bi, Shanshan Zheng -
Process Calculus with Data Structure and its Model Checking Algorithm
Abstract Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z...
2012 / Qing Zheng, Zi-Ning Cao -
Development of Emergency Drills System for Petrochemical Plants Based on WebVR
Abstract A collaborative fire fighting training system for petrochemical enterprise was established by means of the integration of Web and virtual reality. The architecture, key technology and function of this system were introduced. A multi-...
2011 / Wang Chun, Li Lei, Yuan Jiwu, Zhai Liangyun, Liu Gang -
Impact of The Ion Channel Blockage on the Collective Spiking Regularity of a Scale-Free Neuronal Network
Abstract The voltage-gated ion channels embedded in biological membranes play crucial roles on the generation and transmission of action potentials. Therefore, understanding of impacts of each ion channel is of great importance for the dynamics of...
2012 / Ergin Yılmaz, Mahmut Özer, Abdullah Cavuşoğlu -
A Probabilistic Computing Approach of Attack Graph-Based Nodes in Large-Scale Network
Abstract To protect critical resources in networked environments, it is important to quantify the likelihood of potential multi- step attacks in attack graphs. Aimed at the problems that probabilistic incorrect computing caused by shared...
2011 / Ye Yun, Xu Xi-shan, Qi Zhi-chang -
Comparison Study to Hierarchical Routing Protocols in Wireless Sensor Networks
Abstract Routing protocol of wireless sensor network research is the key problem, according to network topology, routing protocols can be divided into flat and hierarchical routing protocol. From the basic ideas, the advantages and disadvantages and ...
2011 / DaWei Xu, Jing Gao -
Proof of Concept of Embedded Solution in Auto-Navigation Destination and Vehicle Collision Avoidance
Abstract Proof of Concept of Embedded Solution in Auto-Navigation Destination and Vehicle Collision Avoidance is realization idea which produces evidence that the concept and the feasibility of the auto-navigation and collision avoidance without...
2012 / Previnsha Naidu A/L Poornachendran, Woi Seng Ooi, Gik Hong Yeap -
Hybrid PSO – SA Algorithm for Achieving Partitioning Optimization in Various Network Applications
Abstract In this paper we present partitioning for simultaneous cut size and circuit delay minimization. Due to the random search, of simulated annealing algorithms, the solution of a circuit partitioning problem is global optimum. [1] The circuit...
2012 / Shikha Kathpal, Rajan Vohra, Jaideep Singh, R.S. Sawhney -
Generation of Sql-injection Free Secure Algorithm to Detect and Prevent Sql-Injection Attacks
Abstract Security and privacy of database-driven web applications are extremely multifaceted against web intruders. One of the most dangerous cyber attacks is the SQL-injection attack, which simply creates huge loss to commercial vendors. Research...
2012 / Kanchana Natarajan, Sarala Subramani -
Textual Entailment by Generality
Abstract Textual Entailment consists in determining if an entailment relation exists between two texts. In this paper, we present an Informative Asymmetric Measure called the Asymmetric InfoSimba (AIS), which we combine with different asym-metric...
2011 / Sebastião Pais, Gãel Dias, Katarzyna Wegrzyn-Wolska, Robert Mahl, Pierre Jouvelot -
Levenshtein error-correcting barcodes for multiplexed DNA sequencing2013 / Tilo Buschmann, Leonid V Bystrykh
-
Automatic Verification of Safety Rules for a Subway Control Software
Abstract This paper proposes the introduction of an automatic verification phase for a subway control software development process in which bounded model checking (BMC) and induction proof would be used to anticipate error discovery and increase the ...
2005 / Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva -
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure
Abstract In an attempt to devise a general notion of model for spatial logic, we have been led to consider transition systems with an additional so-called spatial structure on the states, with both the tran- sition and the spatial structures...
2004 / Luís Monteiro -
A First Step to Performance Prediction for Heterogeneous Processing on Manycores
Abstract The current trends in processor industry opens the way to next generations of microprocessors may count hundreds of independent cores that may differ in their functions and features. As an extensive knowledge of their internals cannot be a...
2015 / Nicolas Benoit, Stephane Louise