3888 search results - page 597 / 778 » Change-Driven Model Transformations |
149
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...
181
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
An increasing level of cooperation between public administrations nowadays on national, regional and local level requires methods to develop interoperable EGovernment systems and ...
169
click to vote
IJCNN
2008
IEEE
16 years 28 days 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...
190
click to vote
BTW
2007
Springer
16 years 21 days ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...
171
click to vote
GTTSE
2007
Springer
16 years 20 days 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...