2421 search results - page 248 / 485 » Integrity Assurance Technique Using Determinant Approach |
144
click to vote
AHS
2006
IEEE
15 years 8 months ago
2006
IEEE
Sharing Intellectual Property (IP) blocks in today's competitive market poses significant high security risks. In this paper, we present a tutorial for a watermarking approach...
160
click to vote
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
138
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
130
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We propose an approach for acquiring geometric 3D models using cameras mounted on autonomous vehicles and robots. Our method uses structure from motion techniques from computer...
149
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...