3856 search results - page 251 / 772 » Models for Automated Earthmoving |
181
click to vote
BPM
2004
Springer
16 years 2 days ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
167
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
147
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
168
click to vote
WSC
2007
15 years 9 months ago
2007
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
159
click to vote
WSC
2007
15 years 9 months ago
2007
A HDD template is designed and developed for modeling and simulation for final assembly of hard disk drive (HDD) manufacturing using Arena. The designed HDD template is a high fle...