Result 1 to 20 of 73 total
Nested dynamic condition response graphs. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20‒22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 343-350 (2012).
1
A note on testing hypotheses for stationary processes in the frequency domain (English)
J. Multivariate Analysis 104, No. 1, 101-114 (2012).
2
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).
3
Bigraphical refinement. (English)
Comput. Res. Repos. 2011, Article No. 1106.4091 (2011).
4
Formal semantics and implementation of BPMN 2.0 inclusive gateways. (English)
Bravetti, Mario (ed.) et al., Web services and formal methods. 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19588-4/pbk). Lecture Notes in Computer Science 6551, 146-160 (2011).
5
Safe distribution of declarative processes (English)
SEFM, 237-252 (2011).
6
Designing a cross-organizational case management system using dynamic condition response graphs (English)
EDOC, 161-170 (2011).
7
Special issue: Expressiveness in concurrency 2008 (EXPRESS’08). Selected papers based on the presentations at the 15th international workshop, Toronto, Canada, August 23, 2008. (English)
Math. Struct. Comput. Sci. 20, No. 1, 103~p. (2010).
8
Declarative event-based workflow as distributed dynamic condition response graphs (English)
PLACES, 59-73 (2010).
9
A logic for choreographies (English)
PLACES, 29-43 (2010).
10
Towards improved dispatching rules for complex shop floor scenarios: a genetic programming approach (English)
GECCO, 257-264 (2010).
11
Gaussian processes for dispatching rule selection in production scheduling: comparison of learning techniques (English)
ICDM Workshops, 631-638 (2010).
12
Formal semantics and implementation of BPMN 2.0 inclusive gateways (English)
WS-FM, 146-160 (2010).
13
A standard-driven implementaion of WS-BPEL 2.0 (English)
SAC, 2472-2476 (2010).
14
From dynamic condition response structures to Büchi automata (English)
TASE, 187-190 (2010).
15
Generating dispatching rules for semiconductor manufacturing to minimize weighted tardiness (English)
Winter Simulation Conference, 2504-2515 (2010).
16
Virtual context based services for multiplayer online games to facilitate community participation. (English)
Multimedia Tools Appl. 45, No. 1-3, 347-367 (2009).
17
Preface. (English)
Electron. Notes Theor. Comput. Sci. 242, No. 1, 1-2 (2009).
18
Types for secure pattern matching with local knowledge in universal concurrent constraint programming. (English)
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 417-431 (2009).
19
Type systems for bigraphs. (English)
Kaklamanis, Christos (ed.) et al., Trustworthy global computing. 4th international symposium, TGC 2008, Barcelona, Spain, November 3‒4, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00944-0/pbk). Lecture Notes in Computer Science 5474, 126-140 (2009).
20
Result 1 to 20 of 73 total
Start
Contact
Print
General Help
