Computer and information sciences topic list of research papers
-
State-of-the-art survey on P2P overlay networks in pervasive computing environments
Abstract P2P overlay networks have attracted significant research interest due to their utility as virtualized abstractions of complex network infrastructures, optimized to satisfy specific criteria, e.g. minimum delay or shortest diameter. In the...
2015 / Apostolos Malatras -
An Automated Approach for Proving PCL Invariants
Abstract Protocol composition logic, PCL, is a formal approach for proving security properties of a class of network protocols. PCL involves reasoning directly about properties achieved by protocols steps, in a setting that does not require explicit ...
2009 / John C. Mitchell, Arnab Roy, Mukund Sundararajan -
Fabrication of Alkali Borosilicate Glass using Fly Ash from Industrial Waste
Abstract The possibility of using industrial fly ash waste as a silica source for alkali borosilicate glass was investigated. The compositions of fly ash were analyzed by energy dispersive x-ray spectrometer (EDXRF). Alkali borosilicate glasses were ...
2011 / P. Kanjanakul, J. Kaewkhao, S. Insiripong, P. Limsuwan, C. Kedkaew -
Enhancing the Security of MANETs using Hash Algorithms
Abstract Hash functions are used in information security applications for the generation and verification of digital signatures, key derivation, and pseudorandom bit generation. Hash algorithms are secure because, for a given algorithm, it is...
2015 / Dilli Ravilla, Chandra Shekar Reddy Putta -
PLORS: a personalized learning object recommender system2015 / Hazra Imran, Mohammad Belghis-Zadeh, Ting-Wen Chang, Kinshuk, Sabine Graf
-
Nested balanced incomplete block designs of harmonised series
Abstract Block designs are useful in comparative experimentation for improving efficiency of treatment comparisons when working with heterogeneous experimental units. A nested balanced incomplete block design (NBIBD) is a design with two systems of...
2015 / A.J. Saka, B.L. Adeleke -
Multimodal Fusion, Fission and Virtual Reality Simulation for an Ambient Robotic Intelligence
Abstract In this paper, we present an architecture that demonstrates multimodal fusion and fission using semantic agents and web services that interacts with worldwide-web computers, services and users. This solution extracts the meaning of a...
2015 / Omar Adjali, Manolo Dulva Hina, Sebastien Dourlens, Amar Ramdane-Cherif -
M-ATTEMPT: A New Energy-Efficient Routing Protocol for Wireless Body Area Sensor Networks
Abstract In this paper, we propose a new routing protocol for heterogeneous Wireless Body Area Sensor Networks (WBASNs); Mobility-supporting Adaptive Threshold-based Thermal-aware Energy-efficient Multi-hop ProTocol (M-ATTEMPT). A prototype is...
2013 / N. Javaid, Z. Abbas, M.S. Fareed, Z.A. Khan, N. Alrajeh -
Learning-Assisted Automated Reasoning with Flyspeck2014 / Cezary Kaliszyk, Josef Urban
-
Real-time payments for mobile IP2003 / H. Tewari, D. O'Mahony
-
An Introduction to History Dependent Automata
Abstract Automata (or labeled transition systems) are widely used as operational models in the field of process description languages like CCS [13]. There are however classes of formalisms that are not modelled adequately by...
2005 / Ugo Montanari, Marco Pistore -
A Derivation System for Uniqueness Typing
Abstract We present two systems for first-order typing of graph expressions, in natural deduction style: conventional typing and (polymorphic) uniqueness typing. In both type systems, typing is preserved during evaluation, and types can be...
2005 / Erik Barendsen, Sjaak Smetsers -
Regular-Language Semantics for a Call-by-Value Programming Language
Abstract We explain how game semantics can be used to reason about term equivalence in a finitary imperative first order language with arrays. For this language, the game-semantic interpretation of types and terms is fully characterized by their...
2004 / Dan R. Ghica -
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
Abstract We generalise the notion of a distributive law between a monad and a comonad to consider weakened structures such as pointed or co-pointed endofunctors, or endofunctors. We investigate Eilenberg-Moore and Kleisli constructions for each of...
2005 / Marina Lenisa, John Power, Hiroshi Watanabe -
Typing the Behavior of Objects and Components using Session Types
Abstract This paper describes a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavioral properties of objects beyond the “Static” information...
2005 / Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara -
Toward a Programming Model for Building Reliable Systems with Distributed State
Abstract We present the preliminary design of a programming model for building reliable systems with distributed state from collections of potentially unreliable components. Our transactor model provides constructs for maintaining consistency among...
2005 / John Field, Carlos Varela -
Preface
Abstract F-WAN: Foundations of Wide Area Network Computing This volume contains the proceedings of the international workshop F-WAN: Foundations of Wide Area Network Computing . The...
2005 / Vladimiro Sassone -
Computer-generated Holograms: A Fast Ray-tracing Approach
Abstract A fast method that allows holograms to be efficiently generated by computer is described. The new method is about 42 times faster than the conventional ray-tracing algorithm with approximately the same resolution. The output of the new...
2013 / Hesham Eldeib, Takashi Yabe -
Evaluation on Usability of Enhancement e-learning of PTPL College Sabah with Social Networking Elements
Abstract The usage of e-learning in education has become a medium to connect and to enhance the online communications between students and their lecturers as well as their friends in college. Students use the element of social networking as a medium ...
2014 / Fazidah Binti Wahit, Masnizah Mohd -
Summarized Dimensions Revisited
Abstract The task of summarizing memory regions becomes increasingly important in the analysis of data structures and the analysis of recursive functions. Calculating summaries of memory regions containing several abstract variables becomes quite...
2012 / Holger Siegel, Axel Simon