Sciweavers

    FSTTCS
    2005
    Springer
    108views Software Engineering» more  FSTTCS 2005»
    Decision Procedures for Queues with Integer Constraints
    14 years 6 months ago
    Decision Procedures for Queues with Integer Constraints
    Download  theory.stanford.edu
    Ting Zhang, Henny B. Sipma, Zohar Manna
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    101views Software Engineering» more  FSTTCS 2005»
    From Logic to Games
    14 years 6 months ago
    From Logic to Games
    Download  www.labri.fr
    Igor Walukiewicz
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    105views Software Engineering» more  FSTTCS 2005»
    On Counting the Number of Consistent Genotype Assignments for Pedigrees
    14 years 6 months ago
    On Counting the Number of Consistent Genotype Assignments for Pedigrees
    Download  www.brics.dk
    Jirí Srba
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    86views Software Engineering» more  FSTTCS 2005»
    Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems
    14 years 6 months ago
    Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems
    Download  www.utdallas.edu
    Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
    Sathya Peri, Neeraj Mittal
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    106views Software Engineering» more  FSTTCS 2005»
    Non-disclosure for Distributed Mobile Code
    14 years 6 months ago
    Non-disclosure for Distributed Mobile Code
    Download  wslc.math.ist.utl.pt
    Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
    Ana Almeida Matos
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    143views Software Engineering» more  FSTTCS 2005»
    The MSO Theory of Connectedly Communicating Processes
    14 years 6 months ago
    The MSO Theory of Connectedly Communicating Processes
    Download  www.iist.unu.edu
    Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
    P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    137views Software Engineering» more  FSTTCS 2005»
    Quantitative Models and Implicit Complexity
    14 years 6 months ago
    Quantitative Models and Implicit Complexity
    Download  www.cs.unibo.it
    We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
    Ugo Dal Lago, Martin Hofmann
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    138views Software Engineering» more  FSTTCS 2005»
    On the Controller Synthesis for Finite-State Markov Decision Processes
    14 years 6 months ago
    On the Controller Synthesis for Finite-State Markov Decision Processes
    Download  www.fi.muni.cz
    Antonín Kucera, Oldrich Strazovský
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    92views Software Engineering» more  FSTTCS 2005»
    Reachability of Hennessy-Milner Properties for Weakly Extended PRS
    14 years 6 months ago
    Reachability of Hennessy-Milner Properties for Weakly Extended PRS
    Download  www.fi.muni.cz
    Mojmír Kretínský, Vojtech Reh...
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    99views Software Engineering» more  FSTTCS 2005»
    On Sampled Semantics of Timed Systems
    14 years 6 months ago
    On Sampled Semantics of Timed Systems
    Download  www.fi.muni.cz
    Pavel Krcál, Radek Pelánek
    claim paper
    Read More »
    123next ›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.