3142 search results - page 52 / 629 » A formal approach for designing CORBA based applications |
HCI
2009
13 years 6 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
KI
2007
Springer
14 years 2 months ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
GRAPHICSINTERFACE
2007
13 years 10 months ago
2007
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...