12745 search results - page 417 / 2549 » Automating test automation |
157
click to vote
HOLOMAS
2003
Springer
16 years 1 days ago
2003
Springer
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...
193
click to vote
HYBRID
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
173
click to vote
ICCS
2003
Springer
16 years 23 hour ago
2003
Springer
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
143
click to vote
ICCS
2003
Springer
16 years 23 hour ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
158
click to vote
IMR
2003
Springer
16 years 12 hour ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...