3792 search results - page 381 / 759 » Techniques for Trusted Software Engineering |
147
click to vote
QSIC
2005
IEEE
16 years 10 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
170
click to vote
SCAM
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
176
click to vote
IUI
2005
ACM
16 years 10 days ago
2005
ACM
We describe a method for predicting user intentions as part of a human-robot interface. In particular, we show that funnels, i.e., geometric objects that partition the input space...
192
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
In this paper an approach for combining a focus+context visual data mining method with zoomable interfaces is shown. Therefore a zoomable interface for analysing structurable imag...
140
click to vote
PASTE
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...