3987 search results - page 279 / 798 » Ontology-Based Model Transformation |
192
click to vote
ICWE
2007
Springer
16 years 25 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 ...
144
click to vote
IJCNN
2006
IEEE
16 years 21 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 9 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 6 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 ...
168
click to vote
JSSPP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...