1054 search results - page 26 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
ENTCS
2007
14 years 11 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
105
click to vote
IMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: This paper describes an approach to construct unstructured tetrahedral and hexahedral meshes for a domain with multiple materials. In earlier works, we developed an octre...
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
104
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
120
click to vote
FM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...