Computer and information sciences topic list of research papers
-
Specificity of Correlation Pattern Recognition Methods Application in Security Holograms Identity Control Apparatus
Abstract Automatic inspection of security hologram (SH) identity is highly demanded issue due high distribution of SH worldwide to protect documents such as passports, driving licenses, banknotes etc. While most of the known approaches use...
2015 / E.Yu. Zlokazov, R.S. Starikov, S.B. Odinokov, I.K. Tsyganov, V.E. Talalaev, et al. -
Architectures for Scalable Databases in Cloud – And Application Specifications
Abstract Despite cloud abstractions, data is critical to applications hosted on cloud. Thus, overwhelming data flow also requires database tier to be scaled efficiently and dynamically besides other tiers in cloud platform. However, this is not easy ...
2015 / Pankaj Deep Kaur, Gitanjali Sharma -
SCHOOL: a Small Chorded Object-Oriented Language
Abstract Chords are a declarative synchronisation construct based on the Join-calculus, available in the programming language C-omega. To our knowledge, chords have no formal model in an object-oriented setting. In this paper we suggest SCHOOL, a...
2006 / S. Drossopoulou, A. Petrounias, A. Buckley, S. Eisenbach -
Pattern-Based Verification of Programs with Extended Linear Linked Data Structures
Abstract The paper deals with the problem of automatic verification of programs with dynamic linked data structures. In particular, the use of pattern-based abstraction of memory configurations is considered. In this approach, one can abstract...
2006 / Milan Češka, Pavel Erlebach, Tomáš Vojnar -
Formal Semantics of Programming Languages
Abstract These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity, and...
2006 / Peter D. Mosses -
Relating State-Based and Process-Based Concurrency through Linear Logic
Abstract This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are notoriously hard to get right. Therefore,...
2006 / Iliano Cervesato, Andre Scedrov -
Preface2007 / Nadia Busi, Claudio Zandron
-
Reachability via Cooperating Morphisms
Abstract The goal of this presentation is to analyze the equality mechanism of cooperating morphisms of free monoids, and to point out that the reachability questions lead to the undecidability and easy characterizations of recursively enumerable...
2008 / Juhani Karhumäki -
Preface2008 / Dina Goldin, Farhad Arbab
-
Object-Oriented Structure Refinement – A Graph Transformational Approach
Abstract In UML, the general structure of objects, their attributes and relations are modeled as a class graph, and an instance of a class graph is defined as an object graph. The class graph of a system determines the general properties of objects...
2007 / Xiaojian Liu, Zhiming Liu, Liang Zhao -
Ubiquitous Integration Architectural Issues
Abstract The paradigm of heterogeneous systems has been demanding the implementation of new approaches to ensure the organizational operations as a whole. This work proposes a new integration model, which can be applied to any system, based on the...
2012 / João Henriques, Paulo Tomé -
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems
Abstract This paper considers the problem of model-based testing of a class of safety-critical systems. These systems are built up from components that are connected a network-like structure. The number of possible structures is usually large. In...
2010 / Johannes Kloos, Robert Eschbach -
Composing Modal Properties of Programs with Procedures
Abstract In component based software design, formal reasoning about programs has to be compositional, allowing global, program-wide properties to be inferred from the properties of its components. The present paper addresses the problem of...
2009 / Marieke Huisman, Dilian Gurov -
Agens Faber: Toward a Theory of Artefacts for MAS
Abstract Human intelligence has evolved along with the use of more and more sophisticated tools, allowing Homo Faber (from Homo Habilis to Homo Sapiens Sapiens) to cope with environment changes, as well as to adapt the environment to his needs....
2006 / Andrea Omicini, Alessandro Ricci, Mirko Viroli -
Sorting by reversals and block-interchanges with various weight assignments2009 / Ying Lin, Chun-Yuan Lin, Chunhung Lin
-
PEA organization image and homeland security using CCTV
Abstract This paper presents the use of information technology and power line poles in the organization known as Provincial Electricity Authority (PEA), where there are two different applications are described. Firstly, the multi-channel...
2010 / Ketsupich Thananunsophon, Chavana Pavaganun, Preecha P. Yupapin -
Background image generation by preserving lighting condition of outdoor scenes
Abstract In the Sensing Web project, we have proposed the concept of “Henshin” camera, which outputs only privacy-protected information in order to open and share the information on the Internet. The information should not contain appearances of...
2010 / Yasutomo Kawanishi, Ikuhisa Mitsugami, Masayuki Mukunoki, Michihiko Minoh -
Iris Recognition for Personal Identification System
Abstract In general, a typical iris recognition based Personal Identification System (PIS) includes iris imaging, iris image quality assessment, fake iris detection, and iris recognition. This paper presents a novel approach, which focusing on iris...
2012 / K. Seetharaman, R. Ragupathy -
Automatic Test Pattern Generation Based on Shuffled Frog Leaping Algorithm for Sequential Circuits
Abstract This paper presents a new approach to the automatic test pattern generation for sequential circuits. According to the structural characteristics of sequential circuits, the expression of Shuffled Frog Leaping Algorithm (SFLA) is constructed ...
2012 / Aijun Zhu, Li Zhi -
Optimization of an Electro-Optic Voltage Transducer using a VHDL-AMS model
Abstract This paper reports on the optimization of an Electro-Optic Voltage Transducer (EOVT) using a VHDL-AMS model. Specifically, two different voltage reconstruction schemes have been assessed: reconstruction using arctangent and using arccosine. ...
2012 / J. Pascal, S. Adam, O. Steiger, W.R. Werbanets