2556 search results - page 266 / 512 » The Triconnected Abstraction of Process Models |
205
click to vote
DAGM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. In this paper, we propose a variational framework for computing a superresolved image of a scene from an arbitrary input video. To this end, we employ a recently proposed...
201
click to vote
APN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
166
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
222
click to vote
DEEC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
204
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...