1487 search results - page 248 / 298 » On Validating Engineering Design Decision Support Tools |
124
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
118
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
136
click to vote
JSW
2007
15 years 4 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
143
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
131
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...