5766 search results - page 417 / 1154 » Reverse Engineering of Data |
207
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
149
click to vote
APVIS
2010
15 years 8 months ago
2010
We present a prototype interface for visualizing and interacting with univariate time-dependent digital signals, i.e., the kind of signals that might be measured using an oscillos...
223
click to vote
BROADBAND
1998
15 years 8 months ago
1998
A key objective of ATM-based networks is to provide at the same time guaranteed QoS to real time and non-real time services. This calls for thoroughly engineered traffic control m...
177
click to vote
JWSR
2007
15 years 6 months ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
290
click to vote
IEEEHPCS
2010
15 years 1 months ago
2010
In September 2009, the Indian Remote Sensing OCEANSAT-2 satellite was launched from Sriharikota (India). Moreover, OCEANSAT-2 carry on-board a third payload, called ROSA (Radio Oc...