3765 search results - page 298 / 753 » Formal Methods for Systems Engineering Behavior Models |
194
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
167
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Customer satisfaction with regard to user interfaces becomes increasingly more important and is, eventually, decisive for the selection of systems within a competitive market. End...
182
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...
215
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
IT/business alignment has constantly been among the top priorities for IT executives. From a prescriptive, design research perspective, our analysis of related work shows that nei...
186
Voted
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...