2154 search results - page 113 / 431 » Evidence-based software production |
165
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--In many flexible manufacturing systems, batch production is often adopted to improve product quality. For example, in automotive paint shops, vehicles with same colors ar...
161
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
129
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
127
click to vote
STEP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...
139
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...