Result 1 to 20 of 212 total
Formal aspects of component software. 7th international workshop, FACS 2010, Guimarães, Portugal, October 14‒16, 2010. Revised selected papers. (English)
Lecture Notes in Computer Science 6921. Berlin: Springer (ISBN 978-3-642-27268-4/pbk). x, 305~p. EUR~57.78 (2012).
1
Multivariate mixture modeling using skew-normal independent distributions (English)
Computational Statistics & Data Analysis 56, No. 1, 126-142 (2012).
2
The role of coordination analysis in software integration projects. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011 workshops. Confederated international workshops and posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25125-2/pbk). Lecture Notes in Computer Science 7046, 83-92 (2011).
3
Hybrid specification of reactive systems: An institutional approach. (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, 269-285 (2011).
4
Protocol integration for intelligent monitoring applications in wireless sensor networks. (English)
Ferrández, José Manuel (ed.) et al., Foundations on natural and artificial computation. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21343-4/pbk). Lecture Notes in Computer Science 6686, 511-520 (2011).
5
Shacc: A functional prototyper for a component calculus. (English)
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 413-419 (2011).
6
Hybridization of institutions. (English)
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 283-297 (2011).
7
Refinement by interpretation in $π$-institutions. (English)
Comput. Res. Repos. 2011, Article No. 1106.4093 (2011).
8
Logic training through algorithmic problem solving. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 62-69 (2011).
9
Hybrid specification of reactive systems: an institutional approach (English)
SEFM, 269-285 (2011).
10
The role of coordination analysis in software integration projects (English)
OTM Workshops, 83-92 (2011).
11
Backward link authentication for RFID tags (English)
RFID-TA, 348-352 (2011).
12
Logic training through algorithmic problem solving (English)
TICTTL, 62-69 (2011).
13
Voistv: voice-enabled social TV (English)
WWW (Companion Volume), 253-256 (2011).
14
Protocol integration for intelligent monitoring applications in wireless sensor networks (English)
IWINAC (1), 511-520 (2011).
15
A scalable approach to building a parallel corpus from the web (English)
INTERSPEECH, 2113-2116 (2011).
16
Speechforms: from web to speech and back (English)
INTERSPEECH, 2121-2124 (2011).
17
Smart routing mechanism for Green zigbee-based wireless sensor networks (English)
ISCC, 397-403 (2011).
18
Shacc: A functional prototyper for a component calculus (English)
CALCO, 413-419 (2011).
19
Hybridization of institutions (English)
CALCO, 283-297 (2011).
20
Result 1 to 20 of 212 total
Start
Contact
Print
General Help
