Sciweavers

15783 search results - page 19 / 3157
» Evidence-Based Software Engineering
Sort
View
149
Voted
VSTTE
2010
Springer
15 years 4 months ago
Abstraction and Refinement for Local Reasoning
Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...
ICSE
2009
IEEE-ACM
15 years 4 months ago
A formal model for self-adaptive and self-healing organizations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
134
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
On exploiting decentralized bio-inspired self-organization algorithms to develop real systems
Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mi...
125
Voted
ICSOFT
2009
15 years 4 months ago
Allocating Educational Resources through Happiness Maximization and Traditional CSP Approach
Juan I. Cano, Luis Sánchez, David Camacho, ...
ICSOFT
2009
15 years 4 months ago
A Knowledge Base for Justified Information Security Decision-making
Daria Stepanova, Simon Edward Parkin, Aad P. A. va...