Result 1 to 20 of 59 total
On the $α$-reconstructibility of workflow nets. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 128-147 (2012).
1
An iterative approach to synthesize business process templates from compliance rules. (English)
Inf. Syst. 37, No. 8, 714-736 (2012).
2
A new clock network synthesizer for modern VLSI designs. (English)
Integr., VLSI J. 45, No. 2, 121-131 (2012).
3
An iterative approach for business process template synthesis from compliance rules. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 406-421 (2011).
4
Safe distribution of declarative processes. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 237-252 (2011).
5
A novice-centered decision-support system for type synthesis of function-generation mechanisms. (English)
Mech. Mach. Theory 45, No. 9, 1252-1268 (2010).
6
Improved extraction method on logic function optimization of mass data processing. (Chinese)
J. Comput. Appl. 28, No. 11, 2945-2947 (2008).
7
Translating message sequence charts to other process languages using process mining. (English)
Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency I. Berlin: Springer (ISBN 978-3-540-89286-1/pbk). Lecture Notes in Computer Science 5100. Journal Subline, 71-85 (2008).
8
On the controller synthesis for finite-state Markov decision processes. (English)
Fundam. Inform. 82, No. 1-2, 141-153 (2008).
9
Bridging the gap between business models and workflow specifications. (English)
Int. J. Coop. Inf. Syst. 13, No. 3, 289-332 (2004).
10
Fractal and multifractal processing of images. (Traitement fractal et multifractal des images.) (French)
Trait. Signal 20, No. 3, 303-311 (2003).
11
On the analysis of Petri nets and their synthesis from process languages. (English)
Theor. Inform. Appl. 37, No. 1, 17-38 (2003).
12
The electronic design automation handbook. (English)
Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7502-2/hbk). 675~p. EUR~150.00; \$~148.00; \sterling~96.00 (2003).
13
A procedure based on automaton theory approach for solving modified PNS problems. (English)
PU.M.A., Pure Math. Appl. 13, No.1-2, 159-169 (2002).
14
Synthesis of bidimensional $α$-stable models with long-range dependence. (English)
Signal Process. 82, No.12, 1927-1940 (2002).
15
Structural affectivity of protein chain growth by t-rna system. (English)
Genome Inform. Online 12, 372-373 (2001).
16
A look ahead branch and bound procedure for solving PNS problems. (English)
PU.M.A., Pure Math. Appl. 11, No.2, 265-279 (2000).
17
Heuristics for PNS problems and its empirical analysis. (English)
PU.M.A., Pure Math. Appl. 11, No.2, 139-151 (2000).
18
Process languages and nets. (English)
Theor. Comput. Sci. 238, No.1-2, 161-181 (2000).
19
On a merging reduction of the process network synthesis problem. (English)
Acta Cybern. 14, No.2, 251-261 (1999).
20
Result 1 to 20 of 59 total
Start
Contact
Print
General Help
