Sciweavers

5766 search results - page 324 / 1154
» Reverse Engineering of Data
Sort
View
PASTE
1998
ACM
15 years 10 months ago
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
ISTA
2004
15 years 8 months ago
An Approach to Advanced Data Synchronization in Complex Process Control Systems
Abstract: Nowadays for any kind of distributed and multi-level, i.e. complex information systems it is vitally important to represent its data resources in a homogenized form. This...
Dmytry V. Kuklenko, Rustam Gamzayev, V. Goloborodk...
187
Voted
WSCG
2001
92views more  WSCG 2001»
15 years 8 months ago
Pre-processing of Car Geometry Data for Crash Simulation and Visualization
In this paper we focus on a visualization tool for car crash simulations. By means of some examples we show how various data pre-processing features can facilitate the engineer�...
Norbert Frisch, Dirc Rose, Ove Sommer, Thomas Ertl
SAC
2008
ACM
15 years 6 months ago
A service architecture for sensor data provisioning for context-aware mobile applications
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
Bernardo Gonçalves, José Gonç...
ER
2010
Springer
90views Database» more  ER 2010»
15 years 5 months ago
W-Ray: A Strategy to Publish Deep Web Geographic Data
Abstract. This paper introduces an approach to address the problem of accessing conventional and geographic data from the Deep Web. The approach relies on describing the relevant d...
Helena Piccinini, Melissa Lemos, Marco A. Casanova...