1082 search results - page 47 / 217 » tools 2000 |
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...
ASSETS
2000
ACM
14 years 2 months ago
2000
ACM
Existing drawing tools for blind users give inadequate contextual feedback on the state of the drawing, leaving blind users unable to comprehend and successfully produce graphical...
AADEBUG
2000
Springer
14 years 2 months ago
2000
Springer
As most parallel and distributed programs are internally non-deterministic – consecutive runs with the same input might result in a different program flow – vanilla cyclic d...
ANLP
2000
13 years 11 months ago
2000
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...