Computer and information sciences topic list of research papers
-
Pervasive Load-Time Transformation for Transparently Distributed Java
Abstract The transformation of large, off-the-shelf Java applications to support complex new functionality essentially requires generation of an entirely new application that retains the execution semantics of the original. We describe such a...
2009 / Phil McGachey, Antony L. Hosking, J. Eliot B. Moss -
Another Glance at Relay Stations in Latency-Insensitive Design
Abstract We revisit the formal modeling of relay stations, which are specific connection elements used in the theory of Latency-Insensitive Design of Globally-Asynchronous/Locally-Synchronous systems. Relay stations are in charge of taking into...
2006 / Julien Boucaron, Jean-Vivien Millo, Robert De Simone -
The Complexity of Early Deciding Set Agreement: How can Topology help?
Abstract The aim of this paper is to pose a challenge to the experts of (algebraic) topology techniques. We present an early deciding algorithm that solves the set agreement problem, i.e., the problem which triggered research on applying topology...
2009 / Rachid Guerraoui, Bastian Pochon -
Detecting Cognitive Causes of Confidentiality Leaks
Abstract Most security research focuses on the technical aspects of systems. We consider security from a user-centred point of view. We focus on cognitive processes that influence security of information flow from the user to the computer system....
2007 / R. Rukšėnas, P. Curzon, A. Blandford -
Minerva
Abstract Active documents as next generation document technologies may offer a solution to the system immanent problems of traditional information distribution techniques. The purpose of the Minerva framework is to serve as a test bed and...
2005 / Markus Reitz, Christian Stenzel -
Static Validation of a Voting Protocol
Abstract The desired security properties of electronic voting protocols include verifiability, accuracy, democracy and fairness. In this paper we use a static program analysis tool to validate these properties for one of the classical voting...
2005 / Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson -
Reduction Semantics and Formal Analysis of Orc Programs
Abstract Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration applications. The formal semantics of Orc poses interesting...
2008 / Musab AlTurki, José Meseguer -
Preface2005 / Sergio Antoy, Yoshihito Toyama
-
Avoiding Massive Automated Voting in Internet Polls
Abstract Internet polls are becoming nowadays more and more important as they are being used on a large scale. Their security aspects are probably the most significant and hardest issue to be solved when we consider web surveys. In this paper we...
2008 / Alessandro Basso, Michele Miraglia -
Visualization of Spatial Data Structures on Different Levels of Abstraction
Abstract Spatial data structures are used to manipulate location data. The visualization of such structures faces many challenges that are not relevant in the visualization of one-dimensional data. The visualized data can be represented using...
2007 / Jussi Nikander, Ari Korhonen, Eiri Valanto, Kirsi Virrantaus -
A Framework for Generating AV Content on-the-fly
Abstract Many computer science educators agree that the visualization or animation of dynamic systems, especially algorithms and data structures, should help students in learning about this central aspect of computer science. However, most educators ...
2007 / Guido Rößling, Tobias Ackermann -
Canonical Abstract Syntax Trees
Abstract This paper presents GOM, a language for describing abstract syntax trees and generating a Java implementation for those trees. GOM includes features allowing the user to specify and modify the interface of the data structure. These features ...
2007 / Antoine Reilles -
Improving QoS in VANET Using MPLS
Abstract Vehicular Ad hoc Networks (VANET) as a sub class of Mobile Ad hoc Networks (MANET) provides a wireless communication among vehicles and vehicle to road side equipment [1]. Important applications of VANET are providing safety for passengers...
2012 / Mahmood Fathy, Saeed GholamalitabarFirouzjaee, Kaamran Raahemifar -
A New One-class Classifier: Relevant Component Analysis Data Description
Abstract It is known that Principal Component Analysis Data Description (PCADD) as a one-class classifier estimates the mean and covariance matrix of the target class objects and uses the Mahalanobis distance so as to fit the target class. However,...
2012 / Zhe Wang, Daqi Gao -
Minimal feature set in language identification and finding suitable classification method with it
Abstract Language identification (LI) is a phase of natural language processing. Although LI is formerly studied, there is still much work to do for better performance. The purpose of this study is to present low dimensional feature set which is...
2012 / Hidayet Takçi, Ekin Ekinci -
Location-selection of Wireless Network Based on Restricted Steiner Tree Algorithm
Abstract The minimum Steiner tree problem has wide application background, such as transportation system, communication network, pipeline design and VISL, etc. It is unfortunately that the computational complexity of the problem is NP- hard. People...
2011 / Xiao-xu Lu, Shang-wu Yang, Nan Zheng -
Does MANET Have Senses? – An Intellectual Approach
Abstract MANET is a dynamic infrastructure less environment which plays vital role in communication networks for efficient data transfer among complex network environment. Recent developments in communication networks such as, routing algorithms,...
2012 / J Satheesh Kumar, J Sandeep -
Distance Analysis and Population Calculation from Sound Produced by Animals
Abstract The scientists have found many ways to adapt a series of formulae for the movement of gas molecules for use with information from speech or sound to determine accurately the population density of a species. Population density information is ...
2012 / S. Mathini, N.R. Raajan, N. Raju, T. Lakshmi Priya, P. Preethi -
An internet-based real-time remote automatic control laboratory for control education
Abstract This paper describes a web based remote automatic control lab, RACL, system. This is a system that enables students do real time control experiments from a remote location (e.g. their homes) using internet and an ordinary web browser. By...
2010 / Mehmet Uğur, Kenan Savaş, Hasan Erdal -
Incorporating three dimensional sound in Virtual Environments
Abstract This paper focuses on the behavior of sound on combining: “Navigation, 3D objects and 3D sound”, in different virtual worlds, which are displayed on multiple screens. Our project allows building different virtual environment using one or...
2012 / Marva AngŽlica Mora Lumbreras, Leticia Flores Pulido, Alberto Portilla Flores, Francisco Javier Albores Velasco