Computer and information sciences topic list of research papers
-
Preface2006 / Sjouke Mauw, Valérie Issarny, Cas Cremers
-
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
Abstract We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active attacks including concurrent protocol runs if it is implemented...
2006 / Michael Backes -
Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls
Abstract Unix system calls to create and execute processes are usually hard to understand for novice students. Using graphics for visualizing the behaviour of these system calls can be useful both for the teacher to explain and for the students to...
2009 / Miguel Riesco, Marián D. Fondón, Darío Álvarez -
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
Abstract This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discrete time dynamical systems, and then extended to continuous...
2008 / Pieter Collins, Alexandre Goldsztejn -
Bisimilarity of Distributionally Equivalent Markov Transition Systems
Abstract Markov transition systems for interpreting a simple negation free Hennessy-Milner logic are called distributionally equivalent iff for each formula the probability for its extension in one model is matched probabilistically in the other...
2008 / Ernst-Erich Doberkat -
Speeding up Spatial Database Query Execution using GPUs
Abstract Spatial databases are used in a wide variety of real-world applications, such as land surveying, urban planning, and environmental assessments, as well as geospatial Web services. As uses of spatial databases become more widespread, there...
2012 / Bogdan Simion, Suprio Ray, Angela Demke Brown -
Surviving in a Competitive Spatial Market: The Threshold Capture Model2003 / Daniel Serra, Charles ReVelle, Ken Rosing
-
Techniques for Highlighting Relief on Orthoimaginery
Abstract In cartographic products such as shaded relief maps or orthoimagery, the direction of illumination can cause a perceptual phenomenon called terrain reversal effect where the depressions appear as peaks and vice versa. This is the case for...
2011 / Miguel A. Bernabé-Poveda, Iván Sánchez-Ortega, Arzu Çöltekin -
An Integrative Comparison of Energy Efficient Routing Protocols in Wireless Sensor Network2012 / Ali Norouzi, Abdul Halim Zaim
-
Discovering opinion leaders for medical topics using news articles2012 / Siddhartha Jonnalagadda, Ryan Peeler, Philip Topham
-
Probabilistic systems coalgebraically: A survey
Abstract We survey the work on both discrete and continuous-space probabilistic systems as coalgebras, starting with how probabilistic systems are modeled as coalgebras and followed by a discussion of their bisimilarity and behavioral equivalence,...
2011 / Ana Sokolova -
Hybrid cloud architectures for the online commerce
Abstract Cloud Computing is a relatively new computing approach which promises enhanced scalability, flexibility and cost-efficiency. In practice, however, there are many uncertainties about the usage of this way of provisioning IT resources....
2011 / Georg Lackermair -
Smart edutainment game for algorithmic thinking
Abstract Algorithmic thinking is a key ability in computer science education. This paper presents a novel approach in conceiving a hybrid learning environment that combines digital games characteristics, Micro World, and algorithm animation...
2012 / Bourouaieh Douadi, Bensebaa Tahar, Seridi Hamid -
Telepathology and Optical Biopsy2010 / Olga Ferrer-Roca
-
MobilePaperAccess: Ubiquitous Paper-based Interfaces for Mobile Interactions
Abstract MobilePaperAccess is a wearable camera-glasses system with tangible user interface allowing mobile interaction. We access the digital information from a paper interface extending the input space. The system is devised to validate our...
2012 / Yun Zhou, Bertrand David, René Chalon -
Spatio-Temporal Querying in Smart Spaces
Abstract A ‘smart space’ is one that automatically identifies and tracks its occupants using unobtrusive biometric modalities such as face, gait, and voice in an unconstrained fashion. Information retrieval in a smart space is concerned with...
2012 / Vivek Menon, Bharat Jayaraman, Venu Govindaraju -
Nova: A Modern Platform for System Dynamics, Spatial, and Agent-based Modeling
Abstract In this paper we describe Nova, a new Java-based modeling platform that naturally supports the creation of models in the system dynamics, spatial and agent-based modeling paradigms. Nova uses a visual language to express model design, and...
2013 / Richard M. Salter -
Pedagogical Analysis of Educational Digital Storytelling Environments of the Last Five Years
Abstract Digital storytelling, the modern and challenging successor of storytelling, emerged over the last few years as a powerful teaching and learning tool, engaging both teachers and their students. For the evaluation of Educational Digital...
2012 / Panagiotis Psomos, Maria Kordaki -
A general model of learning design objects
Abstract Previous research on the development of learning objects has targeted either learners, as consumers of these objects, or instructors, as designers who reuse these objects in building new online courses. There is currently an urgent need for ...
2013 / Azeddine Chikh -
Fragmentation based encryption approach for self protected mobile agent
Abstract Distributed applications provide challenging environment in today’s advancing technological world. To enhance the aspects of better performance and efficiency in real scenario mobile agent’s concept has been brought forward. As every...
2013 / Shashank Srivastava, G.C. Nandi