Computer and information sciences topic list of research papers
-
Improvement of AODV Routing Protocol with QoS Support in Wireless Mesh Networks
Abstract The Wireless Mesh Network (WMN) is a newly developed wireless network which supports broadband and high speed multimedia service, so the Quality-of-Service (QoS) must be guaranteed by the network. In this paper, a new QoS-aware routing...
2012 / Ling Liu, Lei Zhu, Long Lin, Qihui Wu -
Coordination and Organization
Abstract Coordination languages and models like Linda and Reo have been developed in computer science to coordinate the interaction among components and objects, and are nowadays used to model and analyze organizations too. Moreover, organizational...
2006 / Guido Boella, Leendert van der Torre -
Product of Graphs and Hybrid Logic
Abstract Left and right commutativity and the Church-Rosser and reverse Church-Rosser properties are necessary conditions for a graph (frame) to be a (non-trivial) product of two other graphs, but their conjunction is not a sufficient condition....
2009 / Mario R.F. Benevides, L. Menasché Schechter -
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Abstract Various situations in computer science call for categories that support both cartesian closed and monoidal closed structure. Such situations include (i) models of local state, where the monoidal product describes disjointness of memory, and ...
2009 / Sam Staton -
Transformation and Verification of Executable UML Models2004 / Günter Graw, Peter Herrmann
-
Maude Object-Oriented Action Tool
Abstract Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent...
2008 / André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante -
Preface2007 / Stephan Merz, Tobias Nipkow
-
From Biochemistry to Stochastic Processes
Abstract The nano κ calculus is a formalism that models biochemical systems by defining its set of reactions. We study the implementation of nano κ into the Stochastic Pi Machine where biochemical systems...
2009 / Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro -
Preface2006 / Philippe Thiran, Tore Risch, Djamal Benslimane
-
On Architecting Software Fault Tolerance using Abstractions
Abstract In this position paper, we argue how architectural abstractions can be effective in developing fault-tolerant software systems. Depending on the fault model and the resources available, different abstractions can be employed for...
2009 / Rogério de Lemos -
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
Abstract The logic CSL of the comparative concept similarity has been introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison between concepts ...
2010 / Régis Alenda, Nicola Olivetti, Gian Luca Pozzato -
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Abstract We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. In particular, SLD-resolution for these programs is defined and its soundness and...
2009 / Ekaterina Komendantskaya, Anthony Karel Seda -
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Abstract Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. Inspired by our previous experiences in the field of (declarative) program transformation, in this...
2008 / Juan Antonio Guerrero, Ginés Moreno -
Inductive Proof Outlines for Exceptions in Multithreaded Java
Abstract In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage.
2006 / Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen -
Model Driven Development of Security Aspects
Abstract The development of security-critical large-scale distributed software systems is a difficult and error prone process. As we learnt from practical experiences, it is especially difficult to manually define security policies, for example for...
2007 / Julia Reznik, Tom Ritter, Rudolf Schreiner, Ulrich Lang -
Macros for Interaction Nets
Abstract We propose a conservative extension of interaction nets which offers enriched pattern-matching facilities. The extension is conservative in the sense that it can be implemented inside standard interaction nets, and thus can be seen as a...
2005 / François-Régis Sinot, Ian Mackie -
A Dependable Autonomic Computing Environment for Self-Testing of Complex Heterogeneous Systems
Abstract This paper is part of a R&D project aiming at the definition and implementation of an environment for dependable autonomic computing. The primary goal of the study is the increase of dependability of digital systems using self-healing...
2005 / Andrea Baldini, Alfredo Benso, Paolo Prinetto -
Dense Triangular Solvers on Multicore Clusters using UPC
Abstract The popularity of Partitioned Global Address Space (PGAS) languages has increased during the last years thanks to their high programmability and performance through an effcient exploitation of data locality. This paper describes the...
2011 / Jorge González-Domínguez, María J. Martín, Guillermo L. Taboada, Juan Touriño -
Efficient Probabilistic Latent Semantic Indexing using Graphics Processing Unit
Abstract In this paper, we propose a scheme to accelerate the Probabilistic Latent Semantic Indexing (PLSI), which is an automated document indexing method based on a statistical latent semantic model, exploiting the high parallelism of Graphics...
2011 / Eli Koffi Kouassi, Toshiyuki Amagasa, Hiroyuki Kitagawa -
GPGPU kernel implementation and refinement using Obsidian
Abstract Obsidian is a domain specific language for data-parallel programming on graphics processors (GPUs). It is embedded in the functional programming language Haskell. The user writes code using constructs familiar from Haskell (like map and...
2010 / Joel Svensson, Koen Claessen, Mary Sheeran