5525 search results - page 939 / 1105 » Verification of Model Transformations |
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 ...
129
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...
131
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...