Sciweavers

    6829 search results - page 36 / 1366
    » Quantitative Generalizations of Languages
    Sort
    View
    IFIP
    2009
    Springer
    102views Programming Languages» more  IFIP 2009»
    A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
    15 years 11 months ago
    A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
    Download  www.sti.uniurb.it
    Alessandro Aldini, Marco Bernardo
    claim paper
    Read More »
    AGTIVE
    2007
    Springer
    228views Formal Methods» more  AGTIVE 2007»
    GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
    15 years 10 months ago
    GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
    Download  www.info.uni-karlsruhe.de
    Rubino Geiß, Moritz Kroll
    claim paper
    Read More »
    ICALP
    2007
    Springer
    112views Programming Languages» more  ICALP 2007»
    A Fully Abstract Trace Semantics for General References
    15 years 10 months ago
    A Fully Abstract Trace Semantics for General References
    Download  www.cogs.susx.ac.uk
    James Laird
    claim paper
    Read More »
    ICALP
    2003
    Springer
    63views Programming Languages» more  ICALP 2003»
    Generalized Rewrite Theories
    15 years 9 months ago
    Generalized Rewrite Theories
    Download  formal.cs.uiuc.edu
    Roberto Bruni, José Meseguer
    claim paper
    Read More »
    SIGSOFT
    2004
    ACM
    117views Software Engineering» more  SIGSOFT 2004»
    Reasoning about partial goal satisfaction for requirements and design engineering
    16 years 5 months ago
    Reasoning about partial goal satisfaction for requirements and design engineering
    Download  www.info.ucl.ac.be
    Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
    Emmanuel Letier, Axel van Lamsweerde
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.