9974 search results - page 1808 / 1995 » Software Interconnection Models |
148
click to vote
VISUALIZATION
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
133
click to vote
ACMICEC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents the model of e-market structure and process analysis of tourism e-commerce. First the tourism e-commerce status quo is given clearly; secondly e-commerce and i...
127
click to vote
ECMDAFA
2005
Springer
15 years 8 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
109
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
136
click to vote
ICA3PP
2005
Springer
15 years 8 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...