×

Found 13 Documents (Results 1–13)

Synthesis of Reo circuits from scenario-based specifications. (English) Zbl 1347.68024

Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 21-41 (2009).
Full Text: DOI

Formal composition of distributed scenarios. (English) Zbl 1110.68347

de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 213-228 (2004).
MSC:  68M14 68Q60
Full Text: DOI

Reflections on robust optimization. (English) Zbl 0909.90218

Marti, Kurt (ed.) et al., Stochastic programming methods and technical applications. Proceedings of the 3rd GAMM/ IFIP-Workshop on “Stochastic optimization: numerical methods and applications”, Federal Armed Forces University Munich, Neubiberg/ Munich, Germany, June 17–20, 1996. Berlin: Springer. Lect. Notes Econ. Math. Syst. 458, 111-127 (1998).
MSC:  90C15

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software