Computer and information sciences topic list of research papers
-
Caching Scheme Research Based on Unstructured Peer-to-Peer Network
Abstract For Unstructured P2P (Peer-to-Peer) networks leading to the high-load of “high-degree peers”and the quick deletion of rarely requested contents. This paper proposed a new cache scheme MFU (Most Frequently Used) that replaces the cache on...
2012 / Xueying Jiang, Pengfei Gao, Yuhui Zhao, Yingjin Shi -
A Novel Multi-Channel MAC Protocol for Cluster Based Wireless Multimedia Sensor Networks
Abstract An energy efficient, scalable and collision free MAC protocol, DTFMM, is presented in this paper, which combines frequency and time division principles for medium sharing. It is based on clustered network topology, and the protocol employs...
2012 / Lu Wei, Zhang Longmei -
Improvement of Initial Cluster Center of C-means using Teaching Learning based Optimization
Abstract While clustering the data using fuzzy c-means (FCM) and hard c-means (HCM), the sensitivity to tune the initial clusters centers have captured the attention of the clustering communities for quite a long time. In this study, we have taken...
2012 / Anima Naik, Suresh Chandra Satapathy, K. Parvathi -
Compositionality of Security Protocols: A Research Agenda
Abstract The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the verification of security protocols have been developed. However, ...
2005 / Cas Cremers -
On Reversible Combinatory Logic
Abstract The λ-calculus is destructive: its main computational mechanism – beta reduction – destroys the redex and makes it thus impossible to replay the computational steps. Recently, reversible computational models have been studied mainly in the...
2006 / Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky -
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
Abstract The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps to apply the...
2006 / Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin -
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
Abstract SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to understand and explain properties of these calculi and to...
2011 / F.L.C. de Moura, A.V. Barbosa, M. Ayala-Rincón, F. Kamareddine -
A Model Checking-based Method for Verifying Web Application Design
Abstract Development of Web Applications (WA) needs new methods, techniques and tools to support an engineered project during all the phases of its life cycle. To ensure the reliability of WA it is important they be validated and verified at early...
2006 / Francesco Maria Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro -
On Reachability and Spatial Reachability in Fragments of BioAmbients
Abstract BioAmbients is a powerful model for representing various aspects of living cells. The model provides a rich set of operations for the movement and interaction of molecules. The richness of the language motivates the study of dialects of the ...
2007 / Giorgio Delzanno, Roberto Montagna -
Model Checking of Component Behavior Specification: A Real Life Experience
Abstract This paper is based on a real-life experience with behavior specification of a non-trivial component-based application. The experience is that model checking of such a specification yields very long error traces (providing counterexamples)...
2006 / Pavel Jezek, Jan Kofron, Frantisek Plasil -
View Transformation in Visual Environments applied to Algebraic High-Level Nets
Abstract Graph transformation systems are a well-founded and adequate technique to describe the syntax of visual modeling languages and to formalize their semantics. Moreover, graph transformation tools support visual model specification, simulation ...
2005 / Claudia Ermel, Karsten Ehrig -
Data Collection Prioritization for System Quality Analysis
Abstract When assessing software quality the cost of collecting the data needed for analysis is often quite substantial. This paper proposes the use of Bayesian networks for assessing software qualities combined with an algorithm for how to...
2009 / Per Närman, Pontus Johnson, Robert Lagerström, Ulrik Franke, Mathias Ekstedt -
Exploring user-based recommender results in large learning object repositories: the case of MERLOT
Abstract Collaborative filtering (CF) techniques have proved to be effective in their application to e-commerce and other application domains. However, their applicability to the recommendation of learning resources deserve separate attention as...
2010 / Miguel-Ángel Sicilia, Elena García-Barriocanal, Salvador Sánchez-Alonso, Cristian Cechinel -
A Monte Carlo Method for High-Dimensional Volume Estimation and Application to Polytopes
Abstract A direct Monte Carlo method for volume estimation of star-shaped or convex domains is presented, and is generalized to a Markov Chain Monte Carlo method for high-dimensional problems. The direct approach itself, which is closely related to...
2011 / Uwe Jaekel -
A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation
Abstract Bulk Synchronous Parallel ML (BSML) is a structured parallel functional programming language. It extends a functional programming language of the ML family with a polymorphic data structure and a very small set of primitives. In this paper...
2011 / Julien Tesson, Frédéric Loulergue -
A balanced memory-based collaborative filtering similarity measure2012 / Jesús Bobadilla, Fernando Ortega, Antonio Hernando, Ángel Arroyo
-
Interactive ontology debugging: Two query strategies for efficient fault localization
Abstract Effective debugging of ontologies is an important prerequisite for their broad application, especially in areas that rely on everyday users to create and maintain knowledge bases, such as the Semantic Web. In such systems ontologies capture ...
2011 / Kostyantyn Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler -
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
Abstract Composition of services is necessary for realizing complex tasks on the Web. It has been characterized either as a plan synthesis problem or as a software synthesis problem: given a goal and a set of Web services, generate a composition of...
2009 / Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade -
Liveness in Interaction Systems
Abstract Interaction systems were proposed and implemented by Sifakis et al. as a model for the design and study of component based systems. We investigate here the property of liveness in interaction systems where liveness of an action, a component ...
2008 / Mila Majster-Cederbaum, Moritz Martens, Christoph Minnameier -
The Stable Revivals Model in CSP-Prover
Abstract The stable revivals model R provides a new semantic framework for the process algebra Csp. The model R has recently been added to the realm of...
2009 / D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe