Computer and information sciences topic list of research papers
-
Information Gathering Schemes for Collaborative Sensor Devices
Abstract We develop a novel information gathering scheme for Wireless Sensor Networks (WSNs) in which we consider n sensor nodes distributed randomly in a certain field to measure a physical phenomena. We desire to disseminate nodes’ data throughout ...
2014 / Salah A. Aly, Turki A. AlGhamdi, Mohamed Salim, Hesham H. Amin, Adnan A. Gutub -
Incorporating Community Detection and Clustering Techniques into Collaborative Filtering Model
Abstract Recommender systems seek to predict the ‘rating’ or ‘preference’ that user would give to an item based upon historical grading datasets.At the era of IT, the Internet has the ability to reflect the social network, which makes possible to...
2014 / Wei Deng, Rajvardhan Patil, Lotfollah Najjar, Yong Shi, Zhengxin Chen -
Core–Periphery Structure in the Overnight Money Market: Evidence from the e-MID Trading Platform2014 / Daniel Fricke, Thomas Lux
-
OntoCog: A Knowledge based Approach for Preschool Cognitive Skills Learning Application
Abstract In present work, the theoretical and development details of a child-friendly mobile application to enhance cognitive skills of preschool students are presented. Cognitive skills are a vital part of the curriculum at all level of education...
2014 / Muhammad Azeem Abbas, Wan Fatimah Wan Ahmad, Khairul Shafee Kalid -
Sybil Nodes as a Mitigation Strategy Against Sybil Attack
Abstract Sybil attack is considered one of the most damaged attack that menace structured p2p overlay networks. It's the most sophisticated node active, used for a variety of illicit activities. A key requirement for these activities is the ability...
2014 / Zied Trifa, Maher Khemakhem -
New Framework of Intelligent Evacuation System of Buildings
Abstract On the basis of the analysis about the traditional evacuation and lifesaving facilities, this paper adopts high-tech technological means (e.g. advanced intelligent information-monitoring technique, artificial intelligent technique, computer ...
2014 / Qian Zhang, Tao Chen, Xian-zhi Lv -
A Multi-agent Approach for Routing on Vehicular Ad-Hoc Networks
Abstract Vehicular Ad-Hoc Network is a special form of mobile ad -hoc networks (MANETs) which is a vehicle to vehicle and vehicle roadside wireless communication network. VANET is a new standard that integrates Wi-Fi, Bluetooth and other mobile...
2013 / Samira Harrabi, Walid Chainbi, Khaled Ghedira -
Coordination of Mobile Components
Abstract In this paper, we present Pεω, a paradigm for composition of software components based on the notion of mobile channels. Both components and channels are mobile in Pεω, in the sense that (1) components can move at any time from one location ...
2004 / F. Arbab -
Model Checking Erlang Programs – Abstracting Recursive Function Calls
Abstract We present an approach for the verification of Erlang programs using abstract interpretation and model checking. In previous work we defined a framework for data abstraction for Erlang. An abstract operational semantics for this framework...
2004 / Frank Huch -
Alternating-time logic with imperfect recall
Abstract We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that it is an interesting compromise, rather realistic but with a reasonable complexity. In contrast, most models with perfect ...
2005 / Pierre-Yves Schobbens -
Nash implementation with little communication2010 /
-
Adding Graph Transformation Concepts to UML's Constraint Language OCL
Abstract The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to UML as a logic-based sublanguage for the definition of class invariants and pre-/postconditions of operations. OCL...
2004 / Andy Schürr -
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics
Abstract Event structures have come to play an important role in the formal study of the behaviour of distributed systems. The advantage of event structures is that they explicitly exhibit the interplay between concurrency and nondeterminism. This...
2005 / Irina Virbitskaite -
Process Creation and Full Sequential Composition in a Name-Passing Calculus
Abstract This paper presents the underlying theory for a process calculus featuring process creation, and sequential composition, instead of the more usual parallel composition, and action prefixing, in a setting where mobility is achieved by...
2005 / Thomas Gehrke, Arend Rensink -
Hierarchy of Asynchronous Automata
Abstract We study a natural notion of communication structure associated with asynchronous automata: we characterize which transition systems are isomorphic to an asynchronous automaton w.r.t. a given communication structure. For that, we present an ...
2005 / RéMI MORIN -
Branching Processes of general S/T-Systems and their properties
Abstract We introduce an alternative occurrence net semantics of S/T-systems which allows for arbitrary markings and arc weights. Our definition, a branching version of Vogler's [10] execution semantics, will work for general systems, including...
2005 / Stefan Haar -
A Case Study of a Formalized Security Architecture
Abstract CVS is a widely known version management system, which can be used for the distributed development of software as well as its distribution from a central database. In this paper, we provide an outline of a formal security...
2004 / Achim D. Brucker, Burkhart Wolff -
Translation and Run-Time Validation of Optimized Code1 1This research was supported in part by NSF grant CCR-0098299, ONR grant N00014-99-1-0131, and the John von Neumann Minerva Center for Verification of Reactive Systems.
Abstract The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest performance from modern architectures, in particular EPIC-like...
2004 / Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu -
Parametrized Quotation and Self-Reference
Abstract This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-r...
2004 / C.M.W. Little -
Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN
Abstract The so called “cogen approach” to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. In earlier work we...
2005 / Michael Leuschel, Jesper Jørgensen