1077 search results - page 19 / 216 » integration 2000 |
ECBS
2000
IEEE
14 years 6 days ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
ICDE
2000
IEEE
14 years 9 months ago
2000
IEEE
We demonstrate a prototype toolkit that uses constraints and constraint violation repair techniques to enable the automated detection and, where possible, the automated resolution...
ICC
2000
IEEE
14 years 6 days ago
2000
IEEE
Abstract—This paper provides an overview of an implementation of Differentiated Services interior and boundary nodes as described in the SIMA model. The operation of the network ...