Sciweavers

1397 search results - page 39 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
105
Voted
CAISE
2005
Springer
15 years 6 months ago
Ontology Based Business Process Description
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
Agnes Koschmider, Andreas Oberweis
108
Voted
DAC
1999
ACM
16 years 1 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
102
Voted
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
15 years 7 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
Wil M. P. van der Aalst, Christian W. Günther
TSE
2002
83views more  TSE 2002»
15 years 5 days ago
Optimum Control Limits for Employing Statistical Process Control in Software Process
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...
Pankaj Jalote, Ashish Saxena
105
Voted
JLP
2007
99views more  JLP 2007»
15 years 13 days ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky