2421 search results - page 118 / 485 » Integrity Assurance Technique Using Determinant Approach |
162
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
131
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
127
Voted
IVC
2000
15 years 3 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
134
Voted
EDM
2009
15 years 1 months ago
2009
A basic question of instructional interventions is how effective it is in promoting student learning. This paper presents a study to determine the relative efficacy of different in...
134
Voted
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...