Sciweavers

3726 search results - page 470 / 746
» A structured definition of the modeling process
Sort
View
FDL
2004
IEEE
15 years 10 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann
DEEC
2006
IEEE
15 years 10 months ago
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
Walid Gaaloul, Karim Baïna, Claude Godart
CONCUR
2008
Springer
15 years 8 months ago
Spatial and Behavioral Types in the Pi-Calculus
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...
Lucia Acciai, Michele Boreale
DAGM
2008
Springer
15 years 8 months ago
Physically Consistent Variational Denoising of Image Fluid Flow Estimates
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
Andrey Vlasenko, Christoph Schnörr
IADT
1998
146views more  IADT 1998»
15 years 8 months ago
An Open Architecture for Adaptive Workflow Management Systems
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
Reiner Siebert