Computer and information sciences topic list of research papers
-
Measuring Social Network Structure of Clinical Teams Caring for Patients with Complex Conditions
Abstract Chronic, complex health conditions require teams that communicate effectively to be able to achieve best outcomes. In this study, we assessed the communication structure using social network analysis (SNA) for three distinct multidivisional ...
2011 / Margaret Palazzolo, Francesca Grippa, Andrea Booth, Stacy Rechner, John Bucuvalas, et al. -
Rainbow Connection Number and Radius2012 / Manu Basavaraju, L. Sunil Chandran, Deepak Rajendraprasad, Arunselvan Ramaswamy
-
Stochastic Concurrent Constraint Programming and Differential Equations
Abstract We tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in...
2007 / Luca Bortolussi, Alberto Policriti -
Component-Based Specification of Distributed Systems
Abstract We suggest that hidden algebra can provide a setting for component specification and composition that has the advantages of algebraic specification, without the disadvantages of object-oriented approaches where communication between...
2006 / Grant Malcolm -
Symmetric Monoidal Sketches and Categories of Wirings2004 / Martin Hyland, John Power
-
A Framework for Complexity Classes in Membrane Computing
Abstract The purpose of the present work is to give a general idea about the existing results and open problems concerning the study of complexity classes within the membrane computing framework. To this aim, membrane systems (seen as computing...
2009 / Agustín Riscos-Núñez -
A Graphical User Interface for Maude-NPA
Abstract This paper presents a graphical user interface (GUI) for the Maude-NPA, a crypto protocol analysis tool that takes into account algebraic properties of cryptosystems not supported by other tools, such as cancellation of encryption and...
2009 / S. Santiago, C. Talcott, S. Escobar, C. Meadows, J. Meseguer -
Efficient Earley Parsing with Regular Right-hand Sides
Abstract We present a new variant of the Earley parsing algorithm capable of efficiently supporting context-free grammars with regular right hand-sides. We present the core state-machine driven algorithm, the translation of grammars into state...
2010 / Trevor Jim, Yitzhak Mandelbaum -
Preface2011 / Venanzio Capretta, Conor McBride
-
On Mobile Agents Resistance to Traffic Analysis
Abstract This paper will concern itself with a formulation of a traffic analysis problem for mobile agents. It is an interesting theoretical problem as well as a critical feature when using agents on a massive scale in decision making systems. The...
2005 / Kamil Kulesza, Zbigniew Kotulski, Konrad Kulesza -
Formal Semantics and Analysis of Component Connectors in Reo
Abstract We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components that comprise a complex system, into a coherent...
2006 / Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab -
Merging Hierarchically-Structured Documents in Workflow Systems
Abstract We consider the manipulation of hierarchically-structured documents within a complex workflow system. Such a system may consist of several subsystems distributed over a computer network. These subsystems can concurrently update partial...
2008 / Eric Badouel, Maurice Tchoupé Tchendji -
Towards Integration of Geographic Information Systems
Abstract Nowadays, geographic information is increasingly used by several entities around the world. Then, the need of sharing information from different sources is an obvious consequence from such proliferation of systems. Unfortunately,...
2007 / Agustina Buccella, Alejandra Cechich -
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Abstract We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this framework, we view an excitable tissue as a network of...
2008 / Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, et al. -
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)
Abstract In this paper we give a fully complete model for a linear probabilistic lambda-calculus. The model is a Kripke semantics based on the category of stochastic relations. We sketch how this relates to quantum computation. ...
2011 / Benoît Valiron -
Memoryless Strategies for Stochastic Games via Domain Theory
Abstract In Formal Methods we use mathematical structures to model real systems we want to build, or to reason about; in this paper we are concerned principally with game-based models. In an earlier work [Morgan, C. and A. McIver,...
2005 / Carroll Morgan, Annabelle McIver -
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Abstract Membrane systems represent a new model of computation involving parallel application of rules, communication between membranes and dissolving. Since rewriting logic is a general framework for concurrent systems, we connect it with the...
2009 / Oana Agrigoroaiei, Gabriel Ciobanu -
Conditionals in Algebraic Process Calculi
Abstract Conditionals of some form are incorporated in various algebraic process calculi. What is considered to be conditions and how they are evaluated differs from one case to another. This paper gives an overview of the history of conditionals in ...
2006 / C.A. Middelburg -
Debugging as a Science, that too, when your Program is Changing
Abstract Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with the developer painstakingly going through volumes of execution ...
2010 / Abhik Roychoudhury -
Price discrimination in input markets2009 / Roman Inderst, Tommaso Valletti