Computer and information sciences topic list of research papers
-
Risk factors in e-justice information systems
Abstract With the increase of the communication systems' bandwidth and with the dissemination of the information systems, the fields of information and communication technology application expanded in almost all directions. E-government in general...
2013 / João Rosa, Cláudio Teixeira, Joaquim Sousa Pinto -
Exploiting User-definable Synchronizations in Graph Transformation
Abstract Parametric Synchronized Hyperedge Replacement (PSHR) is a graph transformation formalism where productions specifying the behavior of single components can be synchronized to give full transitions. The main feature of PSHR is that the...
2008 / Ivan Lanese -
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
Abstract This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq module functors for constructing complex lattices using...
2008 / David Pichardie -
A Game-theoretic Approach to Behavioural Visualisation
Abstract To bridge the gap between domain experts and formal methods experts, visualisations of the behaviour of formal models are used to let the domain expert understand and experiment with the formal model. In this paper we provide a definition...
2008 / Michael Westergaard -
Equivalence Criteria for Compositional IF Modal Logics
Abstract An IF modal logic L with a compositional semantics is formulated, generalizing the logic L SD ...
2009 / Tero Tulenheimo, Manuel Rebuschi -
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS
Abstract FL-systems are conditional rewriting systems. They are used for programming (describing) and evaluating (generating) huge 3D virtual environments, such as cities and forests. This paper presents a formal semantics and a dynamic dependency...
2008 / Gurvan Le Guernic, Julien Perret -
Oracle-Based Partial Evaluation
Abstract We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an oracle function which compares the results of specializing...
2008 / Claudio Ochoa, Germán Puebla -
Automatic Generation of Prediction Questions during Program Visualization
Abstract Based on previous research, it seems that the activities performed by and the engagement of the students matter more than the content of the visualization. One way to engage students to interact with a visualization is to present them with...
2007 / Niko Myller -
The Development and Application of Simulation Studio Teaching Experiment System in Colleges and Universities
Abstract Being established in the personnel training of the directing and producing of film and television program in our university, considering the problems and dilemma that our university is faced with, we plan to construct a simulation studio....
2012 / Ya Zhao, Xianmei Liu, Libo Yang -
A Note on a Recent Paper by J. S. Respondek2012 / Moawwad E. A. El-Mikkawy
-
The Research On The Model Of The Context-Aware For Reliable Sensing And Explanation In Cyber-Physical System
Abstract Context-aware computing is the critical technology of the CPS(Cyber-Physical System) for the information sensing and controlling. We purposes a novel model of the context-aware which consists of 4 layers(context acquisition layer, context...
2011 / Yongliang Lun, Lianglun Cheng -
Directional Gaussian Filter-based LBP Descriptor For Textural Image Classification
Abstract As an important area in computer vision, textural image classification has been intensely investigated in the last decades. Among all existing methods, a recently developed image descriptor - local binary pattern (LBP) - has received...
2011 / Xiangping Sun, Jin Wang, Ronghua Chen, Lingxue Kong, Mary F.H. She -
Building a high performance computing clusters to use in computing course applications
Abstract A cluster is a collection of independent and cheap machines, used together as a supercomputer to provide a solution. In this study, a pc cluster consisting of one master and 10 slave nodes is built to use in a cluster computing course for...
2009 / Semra Aydin, Omer Faruk Bay -
An advisory method for BBS users and evaluation of BBS comments
Abstract Recently, BBS has a problem which threatens the safety of BBS community: vandalism comments. Such comments occur by fault and by misunderstanding. Thus, showing the probability of becoming vandalism comment can reduce such vandalism...
2010 / Yu Ichifuji, Susumu Konno, Hideaki Sone -
A Partial Formalization of the CMMI-DEV—A Capability Maturity Model for Development2012 / Gokhan Halit Soydan, Mieczyslaw M. Kokar
-
Facilitated Variation: How Evolution Learns from Past Environments To Generalize to New Environments2008 / Merav Parter, Nadav Kashtan, Uri Alon
-
An improved bit parallel exact maximum clique algorithm2011 / Pablo San Segundo, Fernando Matia, Diego Rodriguez-Losada, Miguel Hernando
-
Proposing hierarchy-similarity based access control framework: A multilevel Electronic Health Record data sharing approach for interoperable environment
Abstract Interoperability in healthcare environment deals with sharing of patient’s Electronic Health Records (EHR) with fellow professionals in inter as well as intra departments or organizations. Healthcare environment experiences frequent...
2015 / Shalini Bhartiya, Deepti Mehrotra, Anup Girdhar -
The Closed Fragment of IL is PSPACE Hard
Abstract In this paper we consider IL 0, the closed fragment of the basic interpretability logic IL. We show that we can translate GL 1, the one variable fragment of Gödel-Löbʼs provabilty logic GL, into IL ...
2011 / Félix Bou, Joost J. Joosten -
Concurrent Separation Logic and Operational Semantics
Abstract This paper presents a new soundness proof for concurrent separation logic (CSL) in terms of a standard operational semantics. The proof gives a direct meaning to CSL judgments, which can easily be adapted to accommodate extensions of CSL,...
2011 / Viktor Vafeiadis