Computer and information sciences topic list of research papers
-
Tool support for MOLA
Abstract The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environment. MOLA definition environment is based on the GMF (Generic...
2006 / Audris Kalnins, Edgars Celms, Agris Sostaks -
Using the Alloy Analyzer to Verify Data Refinement in Z
Abstract In the development of critical systems, standards dictate that it is necessary to first design, construct and formally analyse abstract models of the system. Developers must then verify that the final implementation is consistent with these ...
2005 / Christie Bolton -
On the Convergence of Reduction-based and Model-based Methods in Proof Theory
Abstract In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper details some of the steps of this transformation. ...
2008 / Gilles Dowek -
Mobile Agents in Interaction Spaces
Abstract Mobile agent systems are difficult to reason about and implement efficiently and safely. Theoretical work, most notably process calculi, provide solid semantics for mobile systems. However, the theory is often too abstract to match with the ...
2006 / Frédéric Peschanski -
Abstract Regular Tree Model Checking
Abstract Regular (tree) model checking (RMC) is a promising generic method for formal verification of infinite-state systems. It encodes configurations of systems as words or trees over a suitable alphabet, possibly infinite sets of configurations...
2009 / Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomáš Vojnar -
Choiceless Polynomial Time, Counting and the Cai–Fürer–Immerman Graphs
Abstract We consider Choiceless Polynomial Time (C˜PT), a language introduced by Blass, Gurevich and Shelah, and show that it can express a query originally constructed by Cai, Fürer and Immerman to separate fixed-point logic with counting (IFP + C) ...
2005 / Anuj Dawar, David Richerby, Benjamin Rossman -
A Classification Method for CSCW Systems
Abstract Computer-Supported Cooperative Work (CSCW) is a research field where the role played by individuals as members of groups is fundamental. The human being is not considered as an individual entity, but it is considered as a being embedded...
2007 / V.M.R. Penichet, I. Marin, J.A. Gallud, M.D. Lozano, R. Tesoriero -
Corrigendum to: Existence of solutions for multi point boundary value problems for fractional differential equations2012 / N. Nyamoradi
-
Real-time color image segmentation based on mean shift algorithm using an FPGA2013 / Dang Ba Khac Trieu, Tsutomu Maruyama
-
Dimensions of using Short Message Service and Perceived Social Support: A Canonical Correlation
Abstract The purpose of the present research was to investigate the relationship between dimensions of short message service using and perceived social support in sample of university student. The sample group was included 287 students (210girls, 77 ...
2011 / Shima Shahyad, Mohammad Ali Besharat, Shahla Pakdaman, Masoud Asadi, Asghar ShirAlipour -
Database Design Base on GIS Gas management Network
Abstract To improve the efficiency and operation efficiency of gas pipeline network information management, the characteristics of the data of gas pipeline network is analyzed, the gas pipeline network data is study, and its storage model and...
2011 / Liping Lu -
Design of Shortened Turbo Product Codes And Their Improved Decoding
Abstract In this paper, a general matrix structure for shortened turbo product codes (TPC) and an improved decoding algorithm based on Chase decoder are presented. In the proposed algorithm, the decoding complexity is decreased by reducing the...
2011 / Zhou Lin, Wu Kan-kan, Zhao Rui, Cai Can-hui, Wang Lin -
Construction of large-scale honeynet Based on Honeyd
Abstract Honeyd is a tool for simulating computer system on the network layer. A framework of Honeyd is introduced in this paper. The development concept and the way of working of Honeyd are analyzed. A virtual large-scale network is constructed by...
2011 / Jun Wang, Jing Zeng -
Developing an interactive virtual chemistry laboratory enriched with constructivist learning activities for secondary schools
Abstract This paper aims to introduce a project in collaboration with Educational Technologies General Directorate of Ministry of National Education (MoNE) and Computer Education and Instructional Technologies (CEIT) Department of Ege University...
2009 / Eralp Altun, Barış Demirdağ, Burak Feyzioğlu, Alev Ateş, İlker Çobanoğlu -
Communicating open systems
Abstract Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple...
2012 / Mark dʼInverno, Michael Luck, Pablo Noriega, Juan A. Rodriguez-Aguilar, Carles Sierra -
Developing a Hybrid Mathematical Model for 360-Degree Performance Appraisal: A Case Study
Abstract This paper aims to develop a mathematical model for 360-degree performance appraisal in which subjective assessments are weighted and aggregated based on different appraisal sources. In this way, performance appraisal criteria are derived...
2012 / Ramin Sepehrirad, Adel Azar, Arash Sadeghi -
StoRHm: a protocol adapter for mapping SOAP based Web Services to RESTful HTTP format2011 / Sean Kennedy, Robert Stewart, Paul Jacob, Owen Molloy
-
Comparison and a neural network approach for iris localization
Abstract This paper presents a fast and reliable approach for the localization of an iris image using neural networks by comparing some of the existing localization methods. Normally any biometric recognition system is used for identification of an...
2010 / S. Poornima, C. Rajavelu, S. Subramanian -
The effect of input enhancement in L2 listening on incidental vocabulary learning: A review
Abstract The development of multimedia environments for listening comprehension, together with the use of input enhancement techniques, has brought forth a number of empirical studies investigating optimal ways of presenting video material to...
2012 / Maribel Montero Perez, Piet Desmet -
Sports Monitoring Data and Video Interface Using a GUI Auto Generation Matlab Tool
Abstract Sport research activities often require graphical user interfaces (GUI) for viewing, merging, tagging and processing of data. More complex processing, like video, requires more complex interfaces but often these GUIs are for short term...
2013 / Hugo G. Espinosa, Daniel A. James, Sean Kelly, Andrew Wixted