5203 search results - page 145 / 1041 » An approach to workflow modeling and analysis |
165
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
134
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
199
click to vote
ESANN
2006
15 years 7 months ago
2006
Abstract. We investigate a nonparametric model with which to visualize the relationship between two datasets. We base our model on Gaussian Process Latent Variable Models (GPLVM)[1...
180
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected 3D objects and has been used in many app...
168
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...