6434 search results - page 358 / 1287 » Model Transformations with Reference Models |
160
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...
192
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
147
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
— In this paper we have suggested a sparse three dimensional array model for the brain. Entries of the array are synaptic weights as functions of time. This is a typical four dim...
172
click to vote
CW
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
136
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...