Search Sciweavers | Sciweavers

15783 search results - page 19 / 3157

» Evidence-Based Software Engineering

143

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 3 months ago

Download www.doc.ic.ac.uk

Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...

claim paper

Read More »

112

click to vote

ICSE
2009
IEEE-ACM

88views Software Engineering» more ICSE 2009»

A formal model for self-adaptive and self-healing organizations

15 years 3 months ago

Download lirias.kuleuven.be

Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...

claim paper

Read More »

129

click to vote

ICSE
2009
IEEE-ACM

86views Software Engineering» more ICSE 2009»

On exploiting decentralized bio-inspired self-organization algorithms to develop real systems

15 years 3 months ago

Download home.dei.polimi.it

Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mi...

claim paper

Read More »

120

click to vote

ICSOFT
2009

123views Software Engineering» more ICSOFT 2009»

Allocating Educational Resources through Happiness Maximization and Traditional CSP Approach

15 years 3 months ago

Download memnon.ii.uam.es

Juan I. Cano, Luis Sánchez, David Camacho, ...

claim paper

Read More »

101

click to vote

ICSOFT
2009

97views Software Engineering» more ICSOFT 2009»

A Knowledge Base for Justified Information Security Decision-making

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers