Computer and information sciences topic list of research papers
-
An Engineering Realization Method for Security Protocols
Abstract We put forward an engineering realization method for security protocols. First, a formal description language for security protocols is designed. Then, a security protocol interpreter is designed, through which the corresponding objective...
2011 / Xinghua Li, Deng Li, Shuaituan Li, Jianfeng Ma -
Transition Analysis for Power Reduction in SoC
Abstract Size and complexity have been major issues for System-on-a-Chip (SoC) testing. Transition analysis plays a significant role in power consideration of SoC testing. Transition is directly propositional to the power. This paper is based on...
2012 / S. Saravanan, R. Silambamuthan, A. Balasubramaniyan, R. Pannerselvam, B. Ganesh, et al. -
Proposed Conceptual Model for Semantically Enabled Web Services Based On QoS
Abstract Presently, the service discovery is the process of discovering one or more documents that describe in a particular service. Most of the service discovery mechanisms perform syntactic matching. That means it supports the key word based...
2012 / Anjan Bandyopadhyay, Tapas Si, Partha Protim Mondal, Saurav Mallik -
Threshold Based Human Face Detection
Abstract Face detection is the process of making a computer to determine the location of human faces in digital images. Face detection is considered as the essential first step in face recognition systems with the purpose of localizing and...
2012 / A. Jenila, J. Joslin Iyda -
Predictability in Viral Computing
Abstract Computers are top-rated essential commodities to the people across the world. The main concern related to it is its vulnerability and information security in the era of internet. Cyber intrusion, infiltration and invasion are a regular...
2012 / Somsubhra Gupta, Sanjib Das, Prasenjit Kanti Pal -
Lifetime Maximization in Wireless Sensor Networks using Tabu Swarm Optimization
Abstract Wireless sensor networks (WSNs) consist of autonomous nodes for monitoring an environment. Several concerns in sensor networks are formulated as multidimensional optimization problems, and approximated through computational intelligence...
2012 / M. Dhivya, M. Sundarambal -
Fuzzy Logic Based Performance Optimization with Data Aggregation in Wireless Sensor Networks
Abstract Wireless sensor networks are characterized by multi hop wireless lossy links and resource constrained nodes. Energy efficiency is a major concern in such networks. Due to their constraints in computation, memory, and power resources, the...
2012 / D. Hevin Rajesh, B. Paramasivan -
An Optimal Novel Byzantine Agreement Protocol (ONBAP) for Heterogeneous Distributed Database Processing Systems
Abstract Reliability deserves utmost position in processing the transaction effectively in distributed environment. Conservatively, the problems of consensus, Byzantine Agreement, and interactive consistency are studied in a fully connected network...
2012 / Dharavath Ramesh, Chiranjeev Kumar -
Discovering Co-location Patterns from Spatial Domain using a Delaunay Approach
Abstract Spatial co-location patterns represent the subsets of boolean spatial features whose instances are often located in close geographic proximity. Spatial statistics and data mining approaches are used to identify co-location patterns from...
2012 / Venkatesan Meenakshi Sundaram, Arunkumar thnagavelu, Prabhavathy Paneer -
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Abstract We propose an operational semantics, based on graph transformation, of CommUnity, a simple program design language. Each action of a single CommUnity design is modeled by a synchronized hyperedge replacement rule. Synchronized actions of...
2004 / Andrea Corradini, Dan Hirsch -
Petri Nets as Semantic Domain for Diagram Notations
Abstract This paper summarizes the work carried out by the authors during the last years. It proposes an approach for defining extensible and flexible formal interpreters for diagram notations based on high-level timed Petri nets. ...
2005 / Luciano Baresi, Mauro Pezzè -
OCL 2.0 - Implementing the Standard for Multiple Metamodels2004 / David Akehurst, Octavian Patrascoiu
-
Preface2004 / Görel Hedin, Eric Van Wyk
-
An alternative methodology for the mathematical treatment of GPS positioning
Abstract The basic operation of GPS involves the detection and measurement, with a GPS receiver, of data carried on electromagnetic signals transmitted by the earth-orbiting GPS satellite constellation and the computation of the travel time of these ...
2011 / Aly M. El-naggar -
An Instantaneous Frequency Estimation Approach in a High Noise Environment
Abstract An instantaneous frequency (IF) estimation algorithm in a high noise environment is proposed based on singular value decomposition (SVD) and Wigner Ville distribution (WVD).The signal is demodulated with the estimated phase to make the time ...
2012 / Luo Xianglong -
An improved pairing-free identity-based authenticated key agreement protocol based on ECC
Abstract Recently, Cao et al. proposed an identity-based pairing-free two-party authenticated key agreement (ID-2PAKA) protocol using elliptic curve cryptography (ECC). We have shown that Cao's protocol is vulnerable to two attacks called known...
2012 / SK Hafizul Islam, G.P. Biswas -
A Novel Distance for Clustering to Support Mixed Data Attributes and Promote Data Reliability and Network Lifetime in Large Scale Wireless Sensor Networks
Abstract Clustering based approaches in Wireless Sensor Networks helps in identifying the summarized data by exploiting the feature of data redundancy in sensor networks. Due to the inexpensive hardware used and unattended operation nature, nodes in ...
2012 / N. ChitraDevi, V. Palanisamy, K. Baskaran, S. Prabeela -
Adaptive hierarchical modulation and power allocation for superposition-coded relaying2013 / Hirofumi Yamaura, Megumi Kaneko, Kazunori Hayashi, Hideaki Sakai
-
Task Complexity and Language Production Dilemmas (Robinson's Cognition Hypothesis vs. Skehan's Trade-off Model)
Abstract Cognitive load of a task is an important factor that affects task production. There are various models for task complexity in SLA among which Ronbinson's Cognition Hypothesis and Skehan's model of task complexity argue different opposing...
2012 / Asghar Salimi, Soghra Dadashpour -
Social acceptance of negotiation support systems: scenario-based exploration with focus groups and online survey2011 / Alina Pommeranz, Pascal Wiggers, Willem-Paul Brinkman, Catholijn M. Jonker