646 search results - page 44 / 130 » Process oriented framework to support PLM implementation |
204
click to vote
NLP
2000
15 years 2 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...
95
Voted
AINA
2006
IEEE
15 years 2 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
CADE
2008
Springer
15 years 11 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
ECBS
2009
IEEE
15 years 3 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
HIPC
2009
Springer
14 years 8 months ago
2009
Springer
In data-intensive computing, an important problem that has received relatively little attention is of transparent processing of data stored in remote data repositories. Interesting...