Sciweavers

    15784 search results - page 388 / 3157
    » Mega Software Engineering
    Sort
    View
    VSTTE
    2010
    Springer
    130views Software Engineering» more  VSTTE 2010»
    Abstraction and Refinement for Local Reasoning
    15 years 4 months ago
    Abstraction and Refinement for Local Reasoning
    Download  www.doc.ic.ac.uk
    Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...
    claim paper
    Read More »
    ICSE
    2009
    IEEE-ACM
    88views Software Engineering» more  ICSE 2009»
    A formal model for self-adaptive and self-healing organizations
    15 years 4 months ago
    A formal model for self-adaptive and self-healing organizations
    Download  lirias.kuleuven.be
    Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
    claim paper
    Read More »
    139
    Voted
    ICSE
    2009
    IEEE-ACM
    86views Software Engineering» more  ICSE 2009»
    On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
    15 years 4 months ago
    On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
    Download  home.dei.polimi.it
    Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mi...
    claim paper
    Read More »
    ICSOFT
    2009
    123views Software Engineering» more  ICSOFT 2009»
    Allocating Educational Resources through Happiness Maximization and Traditional CSP Approach
    15 years 4 months ago
    Allocating Educational Resources through Happiness Maximization and Traditional CSP Approach
    Download  memnon.ii.uam.es
    Juan I. Cano, Luis Sánchez, David Camacho, ...
    claim paper
    Read More »
    ICSOFT
    2009
    97views Software Engineering» more  ICSOFT 2009»
    A Knowledge Base for Justified Information Security Decision-making
    15 years 4 months ago
    A Knowledge Base for Justified Information Security Decision-making
    Download  www.cs.ncl.ac.uk
    Daria Stepanova, Simon Edward Parkin, Aad P. A. va...
    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.