3782 search results - page 329 / 757 » Engineering Social Order |
173
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
178
Voted
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
In many practical engineering design problems, the form of objective function is not given explicitly in terms of design variables. Given the value of design variables, under this ...
182
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
The aim of this paper is to introduce a new method for finding and reusing process equipment design and inherently safer process configurations by case-based reasoning (CBR) and ob...
191
Voted
WER
2001
Springer
15 years 11 months ago
2001
Springer
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...
172
click to vote
WER
2001
Springer
15 years 11 months ago
2001
Springer
Processes are certainly a key element in software management. Defining and using processes is believed to be an important factor towards quality. Our paper describes a general pro...