2419 search results - page 453 / 484 » A Formal Approach to Software Testing |
IMR
2003
Springer
14 years 1 months ago
2003
Springer
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
ICRA
1998
IEEE
14 years 9 days ago
1998
IEEE
Abstract--Manufacturing scheduling is an important but difficult task. In order to effectively solve such combinatorial optimization problems, this paper presents a novel Lagrangia...
HPDC
1993
IEEE
14 years 5 days ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...