17789 search results - page 406 / 3558 » Exceptional Use Cases |
190
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
NASA’s Earth Science Information Partnership Federation is an experiment funded to assess the ability of a group of widely heterogeneous earth science data or service providers ...
236
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
197
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
147
click to vote
IWPC
1999
IEEE
15 years 11 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...
182
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...