Result 1 to 20 of 59 total
Part special issue: Coordination 2009. Selected papers based on the presentations at the 11th international conference on coordination models and languages, Lisbon, Portugal, June 9‒12, 2009. (English)
Sci. Comput. Program. 77, No. 6, 661-740 (2012).
1
Variable uncertainty: scenario design for training adaptive and flexible skills (English)
ECCE, 27-34 (2011).
2
Training systems design: bridging the gap between users and developers using storyboards (English)
ECCE, 205-212 (2011).
3
A framework for obligation fulfillment in REST services (English)
WS-REST, 59-66 (2011).
4
HAWKEYE: effective discovery of dataflow impediments to parallelization (English)
OOPSLA, 207-224 (2011).
5
Enforcing similarity constraints with integer programming for better scene text recognition (English)
CVPR, 73-80 (2011).
6
Coordination models and languages. 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9‒12, 2009. Proceedings. (English)
Lecture Notes in Computer Science 5521. Berlin: Springer (ISBN 978-3-642-02052-0/pbk). xii, 307~p. EUR~52.38 (2009).
7
Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications. (English)
Theor. Comput. Sci. 410, No. 2-3, 168-201 (2009).
8
Thorn: robust, concurrent, extensible scripting on the JVM (English)
OOPSLA, 117-136 (2009).
9
Thorn: robust concurrent scripting on the JVM (English)
OOPSLA Companion, 789-790 (2009).
10
io-port 05295146 Dor, N.;
Field, J.;
Gopan, D.;
Lev-Ami, T.;
Loginov, A.;
Manevich, R.;
Ramalingam, G.;
Reps, T.;
Rinetzky, N.;
Sagiv, M.;
Wilhelm, R.;
Yahav, E.;
Yorsh, G.
Automatic verification of strongly dynamic software systems. (English)
Meyer, Bertrand (ed.) et al., Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10‒13, 2005. Revised selected papers and discussions. Berlin: Springer (ISBN 978-3-540-69147-1/pbk). Lecture Notes in Computer Science 4171, 82-92 (2008).
11
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. (English)
Murphy, Amy L. (ed.) et al., Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6‒8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72793-4/pbk). Lecture Notes in Computer Science 4467, 76-95 (2007).
12
Abstract counterexample-based refinement for powerset domains. (English)
Reps, Thomas (ed.) et al., Program analysis and compilation, theory and practice. Essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-71315-9/pbk). Lecture Notes in Computer Science 4444, 273-292 (2007).
13
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications (English)
COORDINATION, 76-95 (2007).
14
Design of a closed loop controller for a two wheeled balancing transporter (English)
IROS, 4059-4064 (2007).
15
Technical forum: Using logical data models for understanding and transforming legacy business applications. (English)
IBM Syst. J. 45, No. 3, 647-655 (2006).
16
Abstract counterexample-based refinement for powerset domains (English)
Program Analysis and Compilation, 273-292 (2006).
17
Semantics-based reverse engineering of object-oriented data models (English)
ICSE, 192-201 (2006).
18
Dependent types for program understanding. (English)
Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4‒8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 157-173 (2005).
19
Typestate verification: abstraction techniques and complexity results. (English)
Sci. Comput. Program. 58, No. 1-2, 57-82 (2005).
20
Result 1 to 20 of 59 total
Start
Contact
Print
General Help
