1487 search results - page 219 / 298 » On Validating Engineering Design Decision Support Tools |
181
click to vote
JAIR
2010
15 years 3 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
145
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
140
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
162
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
In Multi-Objective Problems (MOPs) involving uncertainty, each solution might be associated with a cluster of performances in the objective space depending on the possible scenari...
234
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...