2838 search results - page 28 / 568 » Verifying Controlled Components |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Publication
We propose a method to control the luminance distribution on a scene by modeling the light propagation with direct and indirect components separately. To reduce the measurement tim...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, a new genetic mating scheme called Controlled Content Crossover (CCC) is proposed and applied to solve the optical network component allocation problem. In order to ...
MLMI
2004
Springer
14 years 2 months ago
2004
Springer
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...
ACSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...