Sciweavers

12697 search results - page 383 / 2540
» Call for Papers
Sort
View
206
Voted
IJWGS
2006
125views more  IJWGS 2006»
15 years 7 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
ECEASST
2010
15 years 2 months ago
Towards a Conceptual Framework Supporting Model Compilability
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
Dan Ioan Chiorean, Vladiela Petrascu
ICIP
2006
IEEE
16 years 9 months ago
Motion Estimation in X-Ray Image Sequences with Bi-Distributed Transparency
This paper is concerned with motion estimation in transparent X-Ray image sequences. Most of these medical images can be divided into areas containing at most two moving transpare...
Jean Liénard, Patrick Bouthemy, Vincent Auv...
IEEEIAS
2007
IEEE
16 years 1 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi
172
Voted
HPDC
2005
IEEE
16 years 1 months ago
Design and evaluation of a new and effective fairness scheme for multicasting in Internet-scale distributed systems
This paper argues that simply applying a multipletree scheme does not provide sufficient fairness for applications in an Internet-scale distributed system, in terms of performance...
Yijun Lu, Hong Jiang