Sciweavers

2624 search results - page 432 / 525
» On Business Process Model Transformations
Sort
View
ICFP
2006
ACM
16 years 4 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield
ECOWS
2007
Springer
15 years 8 months ago
A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
Soheil Saifipoor, Behrouz Tork Ladani, Naser Nemat...
PE
2010
Springer
133views Optimization» more  PE 2010»
15 years 2 months ago
Positive Harris recurrence and diffusion scale analysis of a push pull queueing network
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
Yoni Nazarathy, Gideon Weiss
175
Voted
CORR
2009
Springer
242views Education» more  CORR 2009»
15 years 1 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
CVPR
2008
IEEE
16 years 6 months ago
Quasi-perspective projection with applications to 3D factorization from uncalibrated image sequences
The paper addresses the problem of factorization-based 3D reconstruction from uncalibrated image sequences. We propose a quasi-perspective projection model and apply the model to ...
Guanghui Wang, Q. M. Jonathan Wu, Guoqiang Sun