Sciweavers

6047 search results - page 184 / 1210
» A Scenario Construction Process
Sort
View
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
16 years 14 days ago
Context-Aware Process Networks
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
Hylke W. van Dijk, Henk J. Sips, Ed F. Deprettere
GROUP
2003
ACM
16 years 12 days ago
Process inheritance and instance modification
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
Guangxin Yang
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 12 months ago
A contractivity approach for probabilistic bisimulations of diffusion processes
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
Alessandro Abate
IJISMD
2010
135views more  IJISMD 2010»
15 years 4 months ago
On the Usage of Labels and Icons in Business Process Modeling
The value of business process models is dependent not only on the choice of graphical elements in the model, but also on their annotation with additional textual and graphical inf...
Jan Mendling, Jan Recker, Hajo A. Reijers
EUROPAR
2003
Springer
16 years 11 days ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...