5766 search results - page 350 / 1154 » Reverse Engineering of Data |
164
click to vote
ADAEUROPE
2006
Springer
16 years 22 days ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...
168
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
162
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
149
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
Techniques for improving the imageability of an existing data visualisation are described. The aim is to make the visualisation more easily explored, navigated and remembered. Sta...
119
click to vote
TSMC
2008
15 years 6 months ago
2008
The impact of delayed sensor-alarm data upon a diagnostic inference engine appears not to be well appreciated. In this paper we illustrate the effect of sensor latency, and we pro...