4636 search results - page 283 / 928 » Modelling and Validation with VipTool |
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
Tagged Magnetic Resonance Imaging (tMRI) is a non-invasive way of tracking the in-vivo myocardial motion during cardiac cycles. Tags are material points which deform along the myo...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
MM
2006
ACM
14 years 2 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...