10159 search results - page 492 / 2032 » System Design Validation Using Formal Models |
147
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
151
click to vote
FOIS
2001
15 years 6 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
140
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
121
click to vote
MEDINFO
2007
15 years 6 months ago
2007
The openEHR foundation has developed an innovative design for interoperable and future-proof Electronic Health Record (EHR) systems based on a dual model approach with a stable re...
135
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we present a system of the off-line handwriting recognition. Our recognition system is based on temporal order restoration of the off-line trajectory. For this task ...