Computer and information sciences topic list of research papers
-
MSCR based bandwidth request mechanism for heterogeneous WiMAX networks
Abstract The next generation wireless networks aim to provide users with always-best connectivity through available different access networks. In this paper, we consider heterogeneous of worldwide interoperability for microwave access (WiMAX) and...
2012 / Rajesh A, Nakkeeran R -
A novel adaptive re-configuration compliance design pattern for autonomic computing systems
Abstract The growing complexity in the systems due to growing size need a new mechanism to enable the system to self-manage, releasing administrators of low-level task management while delivering an optimized system. The Autonomic systems are:...
2012 / Vishnuvardhan Mannava, T. Ramesh -
Enhanced Information Security in Distributed Mobile System Based on Delegate Object Model
Abstract Security is the fundamental requirement of modern computer systems. Today critical information is stored, accessed and passed in all types of applications. Designing secure systems is a challenge due to the distributed nature of modern...
2012 / N. Shenbagavadivu, S. Usha Savithri -
Debris removal in Pap-smear images
Abstract Since its introduction in the 1940s the Pap-smear test has helped reduce the incidence of cervical cancer dramatically in countries where regular screening is standard. The automation of this procedure is an open problem that has been...
2013 / Patrik Malm, Byju N. Balakrishnan, Vilayil K. Sujathan, Rajesh Kumar, Ewert Bengtsson -
A Recommendation Engine by Using Association Rules
Abstract This study represents a recommendation engine which was developed to personalize an e-commerce website. Here, the personalization approach is collaborative filtering and the technique is association rule mining. The software was developed...
2012 / Ozgur Cakir, Murat Efe Aras -
The semantics of Chemical Markup Language (CML) for computational chemistry : CompChem2012 / Weerapong Phadungsukanan, Markus Kraft, Joe A Townsend, Peter Murray-Rust
-
Cloud engineering is Search Based Software Engineering too
Abstract Many of the problems posed by the migration of computation to cloud platforms can be formulated and solved using techniques associated with Search Based Software Engineering (SBSE). Much of cloud software engineering involves problems of...
2012 / Mark Harman, Kiran Lakhotia, Jeremy Singer, David R. White, Shin Yoo -
Automated Verification of Signalling Principles in Railway Interlocking Systems
Abstract In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway ...
2009 / Karim Kanso, Faron Moller, Anton Setzer -
Architectural Connectors for Sequence Diagrams
Abstract The notion of architectural connector was developed by Allen and Garland as an important concept for the design of software architectures. In this paper, based on previous work introducing a generic approach for the definition of...
2008 / Fernando Orejas, Sonia Pérez -
Verifying Concurrent Data Structures by Simulation
Abstract We describe an approach to verifying concurrent data structures based on simulation between two Input/Output Automata (IOAs), modelling the specification and the implementation. We explain how we used this approach in mechanically verifying ...
2005 / Robert Colvin, Simon Doherty, Lindsay Groves -
The Importance of Being Formal
Abstract This paper presents work in the context of the certification of a safety component for autonomous service robots, and investigates the potential advantages offered by formally modelling the domain knowledge, specification and implementation ...
2009 / Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter -
Timers for Distributed Systems
Abstract We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed π-calculus. This model extends distributed π-calculus with timers, transforming the communication channels into temporary...
2006 / Gabriel Ciobanu, Cristian Prisacariu -
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
Abstract The paper presents a calculus of recursively-scoped records: a two-level calculus with a traditional call-by-name λ-calculus at a lower level and unordered collections of labeled λ-calculus terms at a higher level. Terms in records may...
2008 / Elena Machkasova -
Towards a Sharing Strategy for the Graph Rewriting Calculus
Abstract The graph rewriting calculus is an extension of the ρ-calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using unification constraints in addition to the standard...
2008 / P. Baldan, C. Bertolissi, H. Cirstea, C. Kirchner -
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets
Abstract Multimedia systems are one of the most complex and interesting applications that are nowadays proposed to the users. Their complexity derives mainly from the fact that multimedia systems have to process huge amounts of data, while...
2009 / Maurizio Garelli, Marco Gribaudo -
Deriving Available Behavior All Out from Incompatible Component Compositions
Abstract In component-based software development, an important problem is behavioral incompatibility in component compositions. That two components are behaviorally incompatible means that they cannot work together due to the mismatching order of...
2006 / Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, et al. -
Blogs in Language Learning: Maximizing Students’ Collaborative Writing
Abstract Educators have engaged with Web 2.0 technologies such as blogs or podcasts, to make learning more personalized, more interactive and more dynamic. Blogging has emerged as one of the most popular forms of online discourse. Blogging is seen...
2011 / Zaini Amir, Kemboja Ismail, Supyan Hussin -
Research on the Inquiry System of Showroom Multimedia of Sports Anatomy
Abstract With the teaching and assessment of the Institute of Physical Education, the role of showroom with Specimens in Sports anatomy----the basic course of institute of physical education has changed certainly, and it is necessary to consider...
2012 / Yawei Song, Yuanyuan Liu, Xiyuan Zhang -
Non-Muslim Malaysian learners of Arabic (NMMLAs): an investigation of their attitudes and motivation towards learning Arabic as a foreign language in multiethnic and multicultural Malaysia
Abstract The main focus of this study is to investigate the non-Muslim Malaysians’ attitudes and motivations towards learning Arabic as a foreign language. The study aims at examining the respondents’ attitudes towards learning foreign languages in...
2011 / Ashinida Aladdin -
An Improved Adaptive Active Queue Management Algorithm Based on Nonlinear Smoothing
Abstract According to analyzing the principle and limitations of RED and its improved algorithms, an improved adaptive RED congestion control mechanism is proposed in this paper, which imposes nonlinear smooth for packet loss rate function of RED...
2011 / Jingjun Zhang, Wenlong Xu, Liguo Wang