Computer and information sciences topic list of research papers
-
Nonsequential Automata Semantics for a Concurrent, Object-Based Language
Abstract Nonsequential automata constitute a categorial semantic domain based on labeled transition system with full concurrency, where restriction and relabeling are functorial and a class of morphisms stands for reification. It is a model for...
2005 / P. Blauth Menezes, A. Sernadas, J. Félix Costa -
The Constructive Maximal Point Space
Abstract We argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in the study of maximal point spaces, and related questions in quantitative domain theory.
2004 / Michael B. Smyth -
Coalgebraic Semantics for Positive Modal Logic
Abstract Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically...
2004 / Alessandra Palmigiano -
Clusters, Concepts, and Pseudometrics
Abstract The fields of cluster analysis and concept analysis are both used to identify patterns in data. Concept analysis identifies similarities between sets of objects based on their attributes. Cluster analysis groups objects with related...
2005 / Michael D. Rice, Michael Siff -
Type-based Diagnosis of CLP Programs
Abstract The paper presents a diagnosis tool for CLP programs. It deals with partial correctness w.r.t. specifications which describe procedure calls and successes. The space of possible specifications is restricted to a kind of regular types; we...
2005 / Wlodzimierz Drabent, Jan Maluszyński, Pawel Pietrzak -
Process Calculi à la Bird-Meertens
Abstract This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird-Meertens formalism to the design of process calculi, parametrized by a behaviour model. In particular, basically equational and ...
2004 / Luís S. Barbosa -
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets
Abstract Linear logic is a logic of actions which seems well suited to various computer science applications. From its intrinsic ability to reflect computational resources, it is possible to refine different programming paradigms like...
2005 / D. Larchey-Wendling, D. Galmiche -
Lexically scoped distribution: what you see is what you get
Abstract We define a lexically scoped, asynchronous and distributed π-calculus, with local communication and process migration. This calculus adopts the network-awareness principle for distributed programming and follows a simple model of...
2005 / António Ravara, Ana G. Matos, Vasco T. Vasconcelos, Luís. Lopes -
Correctness of a Region-Based Binding-Time Analysis
Abstract A binding-time analysis is the first pass of an offline partial evaluator. It determines which parts of a program may be executed at specialization time. Region-based binding-time analysis applies to higher-order programming languages with...
2005 / Peter J. Thiemann -
Image Representation using Distributed Weighted Finite Automata
Abstract Weighted finite automata (WFA) define real functions, in particular, grayness functions of graytone images. Inference algorithm that converts an arbitrary function (graytone image) into a WFA that can regenerate it is given in [7]. In this...
2004 / Y. Sivasubramanyam, Kamala Krithivasan -
Compositional Constructor Interpretation over Coalgebraic Models for the π—Calculus
Abstract The π-calculus and its variants are one of the most important subjects in the field of process algebra. Researchers in the coalgebra community have taken account of that by developing a family of related final coalgebra models for the...
2005 / Michael Baldamus -
Preface
Abstract This volume contains selected papers presented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), held in Valencia (Spain) during June 12-13, 2003, at the Federated Conference on Rewriting, Deduction ...
2005 / Germán Vidal -
Coinductive Models of Finite Computing Agents
Abstract This paper explores the role of coinductive methods in modeling finite interactive computing agents. The computational extension of computing agents from algorithms to interaction parallels the mathematical extension of set theory and...
2005 / Peter Wegner, Dina Goldin -
Unification, Rewriting, and Narrowing on Term Graphs
Abstract The concept of graph substitution recently introduced by the authors is applied to term graphs, yielding a uniform framework for unification, rewriting, and narrowing on term graphs. The notion of substitution allows definitions of these...
2005 / Annegret Habel, Detlef Plump -
Specifying and Implementing Visual Process Modeling Languages with DiaGen1 1Support by the Esprit Working Group AppliGraph is gratefully acknowledged.
Abstract This paper describes how a diagram language can be specified, based on graphs, graph grammars, and transformation rules, and how the diagram editor generator DiaGen generates a diagram editor from such a specification. DiaGen can be applied ...
2004 / Mark Minas, Berthold Hoffmann -
Process semantics for UML component specifications to assess inheritance
Abstract We define a component specification as a process. The starting point is the specification of a component in a UML profile. The process of the component is a derivable feature from the component specification. We define the inheritance of...
2004 / E.E. Roubtsova, R. Kuiper -
DTN: an architectural retrospective2008 / Kevin Fall, Stephen Farrell
-
Comprehensive Human Development Through Physical and Spiritual: Studies on the Novel “Tenggelamnya Kapal Van Der Wijck”
Abstract This article attempts to explain the form of human development that can be implemented through the medium of writing. In this context, this article tries to identify the human development elements present in Hamka's novel entitled...
2012 / Muhammad Hilmi Jalil, Fakhrul Adabi Abdul Kadir -
Students’ Perception of Mobile Augmented Reality Applications in Learning Computer Organization
Abstract Augmented reality is a human-machine interaction tool that presents information generated by computer on the real world using a camera. Augmented reality technology has the potential to draw students’ attention to visualize a layer of...
2015 / Nazatul Aini Abd Majid, Hazura Mohammed, Rossilawati Sulaiman -
Authentication Systems Using ID Cards over NFC Links: The Spanish Experience Using DNIe
Abstract The personal identification in mobile scenarios has attracted a lot of attention in the last few years due to the emergence of new communications paradigms that enable the establishment of ad hoc communications. These communications must be ...
2013 / J.M. León-Coca, D.G. Reina, S.L. Toral, F. Barrero, N. Bessis