Sciweavers

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