2623 search results - page 308 / 525 » tools 2010 |
132
Voted
JMLR
2010
14 years 7 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
109
Voted
JORS
2010
14 years 7 months ago
2010
In order to manage model risk, financial institutions need to set up validation processes so as to monitor the quality of the models on an ongoing basis. Validation can be conside...
154
click to vote
JSC
2010
14 years 7 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
116
click to vote
JSS
2010
14 years 7 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
116
click to vote
JSS
2010
14 years 7 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...