11462 search results - page 1878 / 2293 » Developing Application-Centric Methods |
163
click to vote
IWPC
1999
IEEE
15 years 12 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
176
click to vote
RTSS
1999
IEEE
15 years 12 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
217
click to vote
TOOLS
1999
IEEE
15 years 12 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
214
click to vote
TPHOL
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
249
click to vote
VISUALIZATION
1999
IEEE
15 years 12 months ago
1999
IEEE
With the development of magnetic resonance imaging techniques for acquiring diffusion tensor data from biological tissue, visualization of tensor data has become a new research fo...