4815 search results - page 290 / 963 » A Pattern Approach to Modeling the Provider Selection Proble... |
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
138
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
145
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
116
Voted
WSC
1997
15 years 6 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
129
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Super solutions provide a framework for finding robust solutions to Constraint Satisfaction Problems [5, 3]. We present a novel application of super solutions to combinatorial auc...