6434 search results - page 701 / 1287 » Model Transformations with Reference Models |
171
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
200
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— The operation of V1 simple cells in primates has been traditionally modelled with linear models resembling Gabor filters, whereas the functionality of subsequent visual cortic...
191
Voted
GTTSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
220
Voted
SOCO
2007
Springer
16 years 1 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
245
click to vote
ADAEUROPE
2005
Springer
16 years 25 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...