289 search results - page 30 / 58 » Verification Patterns for Rapid Embedded System Verification |
138
Voted
JTRES
2010
ACM
15 years 2 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
115
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
132
Voted
CIA
2000
Springer
15 years 7 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
117
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
110
click to vote
PR
2006
15 years 2 months ago
2006
This paper describes a fingerprint verification algorithm based on the orientation field. The orientation field of a fingerprint image has also been used for image alignment. Area...