6751 search results - page 391 / 1351 » Engineering Quality Requirements Using Quality Models |
211
Voted
EC
2010
15 years 4 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...
169
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
195
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
175
click to vote
ISCIS
2004
Springer
16 years 4 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
188
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--In this paper, we introduce a novel approach to timeseries prediction realized both at the linguistic and numerical level. It exploits fuzzy cognitive maps (FCMs) along w...