6355 search results - page 936 / 1271 » From Logic to Games |
181
click to vote
GCA
2008
15 years 8 months ago
2008
- WebDMF is a Web-based Framework for the Management of Distributed services. It is based on the Web-based Enterprise Management (WBEM) standards family and introduces a middleware...
161
click to vote
IFIP8
2007
15 years 8 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
142
click to vote
IIWAS
2007
15 years 8 months ago
2007
: The discovery of the ”right” ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of adaptive re-use...
135
click to vote
ISTA
2007
15 years 8 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
180
click to vote
PTS
2008
15 years 8 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...