2005 search results - page 284 / 401 » Business Process Knowledge Modelling: Method and Tool |
WSC
2000
14 years 11 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
SIGOPS
2008
14 years 10 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
AMDO
2006
Springer
15 years 1 months ago
2006
Springer
We present a facial deformation system that adapts a generic facial rig into different face models. The deformation is based on labels and allows transferring specific facial feat...
119
click to vote
IMR
2004
Springer
15 years 3 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...