Sciweavers

8781 search results - page 1577 / 1757
» Enterprise Model Integration
Sort
View
FMICS
2010
Springer
15 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
DAIS
2008
15 years 7 months ago
Using Object Replication for Building a Dependable Version Control System
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
Rüdiger Kapitza, Peter Baumann, Hans P. Reise...
CSIE
2009
IEEE
15 years 7 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
DAGM
2009
Springer
15 years 7 months ago
Realistic Depth Blur for Images with Range Data
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
Benjamin Huhle, Timo Schairer, Philipp Jenke, Wolf...
APVIS
2010
15 years 6 months ago
Seismic volume visualization for horizon extraction
Seismic horizons indicate change in rock properties and are central in geoscience interpretation. Traditional interpretation systems involve time consuming and repetitive manual v...
Daniel Patel, Stefan Bruckner, Ivan Viola, Eduard ...
« Prev « First page 1577 / 1757 Last » Next »