Sciweavers

    6079 search results - page 89 / 1216
    » Aspect-Oriented Process Engineering
    Sort
    View
    115
    Voted
    FSEN
    2007
    Springer
    115views Software Engineering» more  FSEN 2007»
    Action Abstraction in Timed Process Algebra
    15 years 9 months ago
    Action Abstraction in Timed Process Algebra
    Download  www.win.tue.nl
    Michel A. Reniers, Muck van Weerdenburg
    claim paper
    Read More »
    108
    Voted
    ICFEM
    2007
    Springer
    107views Software Engineering» more  ICFEM 2007»
    A System Development Process with Event-B and the Rodin Platform
    15 years 9 months ago
    A System Development Process with Event-B and the Rodin Platform
    Download  users.ecs.soton.ac.uk
    Jean-Raymond Abrial
    claim paper
    Read More »
    74
    Voted
    ISESE
    2005
    IEEE
    91views Software Engineering» more  ISESE 2005»
    Empirical results from an experiment on value-based review (VBR) processes
    15 years 8 months ago
    Empirical results from an experiment on value-based review (VBR) processes
    Download  sunset.usc.edu
    Keun Lee, Barry W. Boehm
    claim paper
    Read More »
    ISSRE
    2005
    IEEE
    59views Software Engineering» more  ISSRE 2005»
    Modeling the Vulnerability Discovery Process
    15 years 8 months ago
    Modeling the Vulnerability Discovery Process
    Download  www.cs.colostate.edu
    Omar H. Alhazmi, Yashwant K. Malaiya
    claim paper
    Read More »
    88
    Voted
    FSTTCS
    2005
    Springer
    138views Software Engineering» more  FSTTCS 2005»
    On the Controller Synthesis for Finite-State Markov Decision Processes
    15 years 8 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 »
    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.