Sciweavers

    ENTCS
    2007
    82views more  ENTCS 2007»
    On the Computational Representation of Classical Logical Connectives
    14 years 12 days ago
    On the Computational Representation of Classical Logical Connectives
    Download  www.doc.ic.ac.uk
    Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
    Jayshan Raghunandan, Alexander J. Summers
    claim paper
    Read More »
    ENTCS
    2007
    88views more  ENTCS 2007»
    A Linear-time Tissue P System Based Solution for the 3-coloring Problem
    14 years 12 days ago
    A Linear-time Tissue P System Based Solution for the 3-coloring Problem
    Download  www.cs.us.es
    Daniel Díaz-Pernil, Miguel A. Gutiér...
    claim paper
    Read More »
    ENTCS
    2007
    112views more  ENTCS 2007»
    A Calculus of Global Interaction based on Session Types
    14 years 12 days ago
    A Calculus of Global Interaction based on Session Types
    Download  www.eecs.qmul.ac.uk
    This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
    Marco Carbone, Kohei Honda, Nobuko Yoshida
    claim paper
    Read More »
    ENTCS
    2007
    94views more  ENTCS 2007»
    Virtual Organizations in Arigatoni
    14 years 12 days ago
    Virtual Organizations in Arigatoni
    Download  www-sop.inria.fr
    Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
    Michel Cosnard, Luigi Liquori, Raphaël Chand
    claim paper
    Read More »
    ENTCS
    2007
    94views more  ENTCS 2007»
    Membrane Systems with Marked Membranes
    14 years 12 days ago
    Membrane Systems with Marked Membranes
    Download  www.cosbi.eu
    Robert Brijder, Matteo Cavaliere, Agustin Riscos-N...
    claim paper
    Read More »
    ENTCS
    2007
    86views more  ENTCS 2007»
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    14 years 12 days ago
    Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
    Download  users.dsic.upv.es
    Santiago Escobar, Catherine Meadows, José M...
    claim paper
    Read More »
    ENTCS
    2007
    94views more  ENTCS 2007»
    Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
    14 years 12 days ago
    Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
    Download  www.lsv.ens-cachan.fr
    Pascal Lafourcade
    claim paper
    Read More »
    ENTCS
    2007
    100views more  ENTCS 2007»
    Concurrent Logic and Automata Combined: A Semantics for Components
    14 years 12 days ago
    Concurrent Logic and Automata Combined: A Semantics for Components
    Download  www.computing.surrey.ac.uk
    Juliana Küster Filipe, Sotiris Moschoyiannis
    claim paper
    Read More »
    ENTCS
    2007
    107views more  ENTCS 2007»
    Dynamic Contextual Adaptation
    14 years 12 days ago
    Dynamic Contextual Adaptation
    Download  www.di.unipi.it
    When developing systems based on COTS, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their develope...
    Antonio Brogi, Javier Cámara, Carlos Canal,...
    claim paper
    Read More »
    ENTCS
    2007
    73views more  ENTCS 2007»
    Towards Multiple Access in Generic Component Architectures
    14 years 12 days ago
    Towards Multiple Access in Generic Component Architectures
    Download  tfs.cs.tu-berlin.de
    r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
    Markus Klein, Julia Padberg, Fernando Orejas
    claim paper
    Read More »
    « first‹ previous…111213141516171819…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.