Computer and information sciences topic list of research papers
-
Paradigm as Organization-Oriented Coordination Language
Abstract Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed component behaviour. The paper discusses how global behaviours...
2006 / L.P.J. Groenewegen, A.W. Stam, P.J. Toussaint, E.P. de Vink -
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation
Abstract We present an abstract interpretation framework for a subset of Java (without concurrency). The framework uses a structural abstract domain whose concretization function is parameterized on a relation between abstract and concrete...
2005 / Isabelle Pollet, Baudouin Le Charlier -
Preface2009 / Guido Rößling, Ángel Velázquez-Iturbide
-
User-Definable Resource Usage Bounds Analysis for Java Bytecode
Abstract Automatic cost analysis of programs has been traditionally concentrated on a reduced number of resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or...
2009 / Jorge Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo -
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
Abstract The current paper presents a novel approach to implement a graph transformation engine as an EJB3-specific plugin by using EJB QL queries for pattern matching. The essence of the approach is to create an EJB QL query for the precondition of ...
2008 / Gergely Varró -
Mothers of Pipelines
Abstract We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally...
2007 / Sava Krstić, Robert B. Jones, John O'Leary -
Smart Dust Security – Key Infection Revisited
Abstract Sensor network is a notion denoting an interesting subset of self-organising wireless networks. These networks are rather dense as each node have typically more than dozen neighbours, and large – with tens to hundreds thousands of nodes....
2006 / Daniel Cvrcek, Petr Svenda -
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Abstract We present a model based approach to diagnosability analysis for interacting finite state systems where fault isolation is deferred until the system comes to a standstill. Local abstractions of the system model are used to alleviate the...
2006 / Dan Lawesson, Ulf Nilsson, Inger Klein -
Virtual Organizations in Arigatoni
Abstract Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by a simple resource discovery protocol...
2007 / Michel Cosnard, Luigi Liquori, Raphael Chand -
Case Analysis of Higher-Order Data
Abstract We discuss coverage checking for data that is dependently typed and is defined using higher-order abstract syntax. Unlike previous work on coverage checking for closed data, we consider open data which may depend on some context. Our work...
2009 / Joshua Dunfield, Brigitte Pientka -
Corporate information security management2002 / Ruth C. Mitchell, Rita Marcella, Graeme Baxter
-
The CMS data aggregation system
Abstract Meta-data plays a significant role in large modern enterprises, research experiments and digital libraries where it comes from many different sources and is distributed in a variety of digital formats. It is organized and managed by...
2010 / Valentin Kuznetsov, Dave Evans, Simon Metson -
“Hello world”, web mining for e-learning
Abstract As the internet and mobile applications are getting an important role in our lives, usage of mobile services also took place in educational field since the internet is widespread, which is usually called by the terms “e-learning” or...
2011 / Oğuz Mustapaşa, Adem Karahoca, Dilek Karahoca, Hüseyin Uzunboylu -
Biomedical and Bioinformatics Challenges to Computer Science: Bioinformatics, Modeling of Biomedical Systems and Clinical Applications
Abstract This is the fourth edition of the workshop on Biomedical and Bioinformatics Challenges to Computer Science. The purpose of the workshop series is to bring together scientists from computer science and life sciences, to discuss current...
2011 / Mario Cannataro, Rodrigo Weber dos Santos, Joakim Sundnes -
An online community for the deaf
Abstract Online communities are helpful with many advantages for the deaf who are not able to hear or hear hard as it is for hearing people. Deaf people use sign language which is a visual form of communication including the combination of hand...
2011 / Morteza Zahedi, Hojjat Mashal, Seyed Mahdi Salehi -
A novel hybrid artificial immune inspired approach for online break-in fraud detection
Abstract This paper proposes a new hybrid model for online fraud detection of the Video-on-Demand System, which is aimed to improve the current Risk Management Pipeline (RMP) by adding Artificial Immune System (AIS) based fraud detection for logging ...
2010 / R. Huang, H. Tawfik, A.K. Nagar -
HopDSW: An approximate dynamic space warping algorithm for fast shape matching and retrieval
Abstract Boundary-based shape matching has many applications in areas, such as pattern recognition and computer vision. Recently, Dynamic space warping (DSW) has emerged as a very effective tool for matching shapes. However, a central computational...
2011 / Naif Alajlan -
Application of particle swarm optimization to transportation network design problem
Abstract Transportation network design problem (TNDP) aims to choose from among a set of alternatives (e.g., set of new arcs) which minimizes an objective (e.g., total travel time), while keeping consumption of resources (e.g., budget) within their...
2011 / Abbas Babazadeh, Hossain Poorzahedy, Saeid Nikoosokhan -
Comparative study of accuracy in distance measurement using: Optical and digital levels
Abstract In this research, three levels: the optical levels NA2 and N3 from Leica and the digital level SDL30 from Sokkia were subjected to distance measurement accuracy test. A base line of length 100.000m was first established and divided into 10...
2011 / Ismat M. Elhassan, A.S. Ali -
Early search termination for fast motion estimation2015 / Yun-Gu Lee