3888 search results - page 681 / 778 » Change-Driven Model Transformations |
154
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
124
click to vote
PDP
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
137
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Q-learning is a technique used to compute an optimal policy for a controlled Markov chain based on observations of the system controlled using a non-optimal policy. It ...
131
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
Providing a user with an effective image search engine has been a very active research area. A search by an object model is considered to be one of the most desirable and yet difï...
153
click to vote
PRDC
2000
IEEE
15 years 8 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...