814 search results - page 55 / 163 » Generic Model Abstraction from Examples |
134
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
184
click to vote
ER
1995
Springer
15 years 6 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
243
click to vote
VLSI
2012
Springer
13 years 10 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
131
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
128
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...