53 search results - page 3 / 11 » SmartEMF: guidance in modeling tools |
METRICS
2002
IEEE
13 years 10 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
ICST
2008
IEEE
14 years 6 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
FMSD
2008
13 years 5 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
PROCEDIA
2010
13 years 4 months ago
2010
The development of the adjoint of the forecast model and of the adjoint of the data assimilation system (adjoint-DAS) make feasible the evaluation of the derivative-based forecast...
WSC
2001
13 years 7 months ago
2001
The military develops simulations to analyze nearly every aspect of defense. How accurate are these simulations and to what extent do they produce dependable results? Most guidanc...