Computer and information sciences topic list of research papers
-
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra
Abstract We generalise the classical notion of stationary distributions of Markov processes to a model of probabilistic programs which includes demonic nondeterminism. As well as removing some of the conditions normally required for stationarity,...
2004 / A.K. McIver -
Reasoning about recursive processes:
Abstract When reasoning about parallel programs we would like to combine fixed-point laws for unrolling recursion with expansion laws for parallel composition. Algebraic manipulation using this combination is dangerous, because of the need to stay...
2004 / Stephen Brookes -
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆ ⋆This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505.
Abstract This paper describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP, which is an extension of ACSR, a real-time process algebra, with value-passing capabilities and...
2004 / Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky -
Minimal Information Disclosure in a Centralized Authorization System
Abstract We propose a centralized authorization system, in which user authorizations cannot be retrieved in a computationally feasible way without cooperation of user, authorization server and end-servers. A certain level of anonymity is also...
2004 / Lavinia Egidi, Giovanni Porcelli -
Process Algebras as Specification Language
Abstract Recent approaches to the combination of process algebras and temporal logic have shown that it is possible to specify logical formulae as processes. The presented work exploits the applicability of these approaches, in the context of...
2004 / Friedger Müffke -
Formal concepts for an integrated internal model of the UML
Abstract In the Unified Modeling Language (UML) different views of software systems are specified by different models. The abstract syntax of the modelling languages is defined precisely in the UML standard, but the (dynamic) semantics up to now are ...
2004 / Martin Große-Rhode -
Programming Autonomous Robots in Curry1 1This work has been partially supported by the German Research Council (DFG) under grant Ha 2457/1-2, by the DAAD/NSF under grant INT-9981317, and by the DAAD under the PROCOPE programme.
Abstract In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming languages for the programming of embedded systems. Our...
2004 / Michael Hanus, Klaus Höppner -
Generating Optimal Monitors for Extended Regular Expressions
Abstract Ordinary software engineers and programmers can easily understand regular patterns, as shown by the immense interest in and the success of scripting languages like Perl, based essentially on regular expression pattern matching. We believe...
2004 / Koushik Sen, Grigore Roşu -
Model transformation based on production rules
Abstract This paper aims at presenting a particular kind of “model” transformation technique. The concerned models are computer application models at a “user design” level, in opposition to design models too close to implementation programs. The...
2004 / Nicolas Revault -
Chapter 42005 /
-
Multiplicative Linear Logics and Fibrations
Abstract We define a notion of fibration on generalized operads (that we call structads) that automatically gives the categorical axiomatization of a large and specific class of multiplicative deductive linear systems, which can be axiomatized in a...
2004 / François Lamarche -
Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers
Abstract Paper discusses some issues related to the utility of finite games for early formal methods teaching and for validation of automatic tools which implement formal methods. In particular, some experience with (1) undergraduate teaching model...
2004 / N.V. Shilov, K. Yi -
Metric Semantics for Synchronous and Asynchronous Communication: A Continuation-based Approach
Abstract We introduce a technique - that we name continuation semantics for concurrency (CSC) - which can be used to model both sequential and parallel composition (in interleaving semantics) while providing the general advantages of the technique...
2005 / Eneia Todoran -
Formal Techniques for Analysing Scenarios using Message Sequence Charts
Abstract This paper describes light-weight formal techniques based on Message Sequence Charts (MSCs) for capturing and validating early requirements and design. Our focus is on ease of use in specifying, simulating and validating scenarios, and...
2004 / Purandar Bhaduri, R. Venkatesh, Girish K. Palshikar -
Distributed Logic Objects
Abstract This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly ...
2004 / Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli -
Visual Modeling of Distributed Object Systems by Graph Transformation
Abstract A visual modeling technique for distributed object systems based on graph transformation is presented. It includes the graphical description of the network and its dynamic reconfiguration as well as the component interfaces and local object ...
2004 / Gabriele Taentzer -
Scoped Dynamic Rewrite Rules
Abstract The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable...
2004 / Eelco Visser -
Phonetic Rules in Arabic Script
Abstract Conversion of Arabic script into phonetic rules is one of the major obstacles facing the researchers on Arabic text-to-speech systems and speech recognition. Although Arabic is one of the oldest languages that its sounds and phonological...
2013 / Mansour M. Al-ghamdi, Husni Al-Muhtasib, Moustafa Elshafei -
Motor Skill Development Using Motion Recognition based on an HMM
Abstract The purpose of this study is to propose an original method that enables the recognition of a swinging motion. Furthermore, we apply the method for supporting skill development. In this study, we use an optical-motion capture system to...
2013 / Keita Yamada, Kenji Matsuura, Keisuke Hamagami, Hirofumi Inui -
Design of a Social Collaboration and Precise Localization Services for the Blind and Visually Impaired
Abstract The Blind and Visually Impaired (BVI) encounter various difficulties during their daily activities like path planning, navigation and obstacle avoidance. Many BVI still trust and rely on the white cane to explore their environments. The...
2013 / Mohammed Elbes, Ala Al-Fuqaha