3914 search results - page 250 / 783 » Automating SLA modeling |
100
Voted
FMCAD
2000
Springer
15 years 6 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...
117
Voted
WSC
2007
15 years 5 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 ...
111
Voted
WSC
2007
15 years 5 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...
107
Voted
MODELLIERUNG
2008
15 years 4 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
101
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...