19700 search results - page 3579 / 3940 » DNA-Based Computation Times |
169
Voted
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
195
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
202
Voted
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
240
Voted
ICCS
1999
Springer
15 years 11 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
185
Voted
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...