10159 search results - page 421 / 2032 » System Design Validation Using Formal Models |
146
click to vote
JORS
2010
14 years 11 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...
123
click to vote
MASCOTS
2004
15 years 5 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
129
click to vote
JCP
2008
15 years 4 months ago
2008
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
172
click to vote
CONTEXT
2005
Springer
15 years 6 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
122
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
In this paper, we presen t the design and use of a comprehensiv e framework, SimplePower, for evaluating the e ect of high-level algorithmic, architectural, and compilation tradeo...