2935 search results - page 315 / 587 » An Integrated Approach to High Integrity Software Verificati... |
169
click to vote
WSC
1996
15 years 7 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
171
click to vote
ICST
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
169
click to vote
COMPSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
Distributed systems today are very vulnerable to malicious attacks, either from insiders or outsiders. When an attacker controls a component of the system, he may steal some sensi...
171
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
177
click to vote
CODES
2005
IEEE
16 years 5 days ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...