1320 search results - page 115 / 264 » A View Based Analysis of Workflow Modeling Languages |
147
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
121
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In structural character recognition, a character is usually viewed as a set of strokes and the spatial relationships between them. In this paper, we propose a stochastic modeling ...
134
Voted
CAD
2002
Springer
15 years 3 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...
118
Voted
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
123
Voted
ECSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...