4166 search results - page 234 / 834 » Automating the constraining process |
122
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes a multi-objective memetic approach for solving multi-objective flexible process sequencing problems in flexible manufacturing systems (FMSs). FMS can be des...
143
Voted
SPRINGSIM
2010
15 years 2 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
180
click to vote
IS
2012
13 years 11 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
142
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
We describe METRICS, a system to recover design productivity via new infrastructure for design process optimization. METRICS seeks to treat system design and implementation as a s...
128
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...