3555 search results - page 148 / 711 » Security-Critical System Development with Extended Use Cases |
155
Voted
POS
1994
Springer
15 years 7 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
166
Voted
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
189
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
In our previous work, a precision constrained Gaussian model (PCGM) was proposed for character modeling to design compact recognizers of handwritten Chinese characters. A maximum ...
118
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
126
click to vote
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...