Sciweavers

5075 search results - page 36 / 1015
» Model-based interface development
Sort
View
IICAI
2007
15 years 3 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 6 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
109
Voted
PTS
2008
100views Hardware» more  PTS 2008»
15 years 3 months ago
Model-Based Generation of Testbeds for Web Services
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
Antonia Bertolino, Guglielmo De Angelis, Lars Fran...
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
14 years 2 months ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
ICIP
2006
IEEE
16 years 3 months ago
An Illumination Invariant 3D Model Based Tracking Algorithm, with Application in Video Compression
We present an algorithm for illumination invariant 3D model based tracking and video compression. While model-based coding schemes are well developed, the compression rate reduces...
Long Nyugen, Yilei Xu, Amit K. Roy Chowdhury