4476 search results - page 732 / 896 » A flexible framework for engineering |
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
191
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
171
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
157
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
205
click to vote
COMPLEXITY
2007
15 years 6 months ago
2007
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...