Sciweavers

2624 search results - page 296 / 525
» On Business Process Model Transformations
Sort
View
SAC
2010
ACM
15 years 6 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
INFSOF
2000
91views more  INFSOF 2000»
15 years 6 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
DAGM
2005
Springer
16 years 2 days ago
Combination of Tangent Distance and an Image Distortion Model for Appearance-Based Sign Language Recognition
In this paper, we employ a zero-order local deformation model to model the visual variability of video streams of American sign language (ASL) words. We discuss two possible ways o...
Morteza Zahedi, Daniel Keysers, Thomas Deselaers, ...
MODELS
2009
Springer
16 years 1 months ago
An Incremental Algorithm for High-Performance Runtime Model Consistency
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
15 years 8 months ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
Oleg Komogortsev, Javed I. Khan