53 search results - page 3 / 11 » SmartEMF: guidance in modeling tools |
131
Voted
METRICS
2002
IEEE
15 years 5 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...
84
Voted
ICST
2008
IEEE
15 years 6 months 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...
105
Voted
FMSD
2008
15 years 12 days 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...
95
Voted
PROCEDIA
2010
14 years 10 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...
94
Voted
WSC
2001
15 years 1 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...