450 search results - page 67 / 90 » Formal Methods for Industrial Products |
ASWEC
2001
IEEE
13 years 11 months ago
2001
IEEE
For many small software companies, full-scale software process improvement (SPI) initiatives are often out of reach due to prohibitive costs and lack of SPI knowledge. However, to...
ANTSW
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
SCM
2003
13 years 9 months ago
2003
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
ICONIP
1998
13 years 9 months ago
1998
Many real processes are composed of a n-fold repetition of some simpler process. If the whole process can be modelled with a neural network, we present a method to derive a model ...
KES
2006
Springer
13 years 7 months ago
2006
Springer
There is a keen demand for a method of sharing better work practices in a factory because better work practices are the key to improving productivity. We have developed a system th...