Result 1 to 20 of 120 total
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 243-256 (2011).
1
An approach for effective design space exploration. (English)
Calinescu, Radu (ed.) et al., Foundations of computer software. Modeling, development, and verification of adaptive systems. 16th Monterey workshop 2010, Redmond, WA, USA, March 31 ‒ April 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21291-8/pbk). Lecture Notes in Computer Science 6662, 33-54 (2011).
2
Hybrid filtering-based personalized recommender system for revitalization of Jeju water industry. (English)
Luo, Xiangfeng (ed.) et al., New horizons in web-based learning ‒ ICWL 2010 workshops. ICWL 2010 workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20538-5/pbk). Lecture Notes in Computer Science 6537, 55-65 (2011).
3
Automatic moving object detection using motion and color features and bi-modal Gaussian approximation (English)
SMC, 2922-2927 (2011).
4
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT (English)
SAFECOMP, 243-256 (2011).
5
A lightweight code analysis and its role in evaluation of a dependability case (English)
ICSE, 31-40 (2011).
6
Network and operating system support for digital audio and video, 21st international workshop, NOSSDAV 2011, Vancouver, BC, Canada, June 1-3, 2011, Proceedings (English)
NOSSDAV (2011).
7
ENASE 2011 - Proceedings of the 6th international conference on evaluation of novel approaches to software engineering, Beijing, China, 8-11 June, 2011 (English)
ENASE (2011).
8
Personalized curriculum recommender system based on hybrid filtering. (English)
Luo, Xiangfeng (ed.) et al., Advances in web-based learning ‒ ICWL 2010. 9th international conference, Shanghai, China, December 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17406-3/pbk). Lecture Notes in Computer Science 6483, 62-71 (2010).
9
Life system modeling and intelligent computing. International conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17‒20, 2010. Proceedings, Part III. (English)
Lecture Notes in Computer Science 6330. Lecture Notes in Bioinformatics. Berlin: Springer (ISBN 978-3-642-15614-4/pbk). xviii, 719~p. EUR~93.09 (2010).
10
Life system modeling and intelligent computing. International conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17‒20, 2010. Proceedings, Part II. (English)
Lecture Notes in Computer Science 6329. Berlin: Springer (ISBN 978-3-642-15596-3/pbk). xxi, 518~p. EUR~74.90 (2010).
11
Life system modeling and intelligent computing. International conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17‒20, 2010. Proceedings, Part I. (English)
Lecture Notes in Computer Science 6328. Berlin: Springer (ISBN 978-3-642-15620-5/pbk). xxii, 518~p. EUR~74.90 (2010).
12
Component publications and compositions. (English)
Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8‒10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 238-257 (2010).
13
Bridging the semantic gap between abstract models of embedded systems. (English)
Grunske, Lars (ed.) et al., Component-based software engineering. 13th international symposium, CBSE 2010, Prague, Czech Republic, June 23‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13237-7/pbk). Lecture Notes in Computer Science 6092, 55-73 (2010).
14
A structure for dependability arguments. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 1 (2010).
15
Components, platforms and possibilities: towards generic automation for MDA (English)
EMSOFT, 39-48 (2010).
16
Hybrid filtering-based personalized recommender system for revitalization of Jeju water industry (English)
ICWL Workshops, 55-65 (2010).
17
Personalized curriculum recommender system based on hybrid filtering (English)
ICWL, 62-71 (2010).
18
Wireless non-contact cardiac and neural monitoring (English)
Wireless Health, 15-23 (2010).
19
Project and asset management system for multi-disciplinary scientific visualization projects (English)
International Conference on Internet Computing, 139-145 (2010).
20
Result 1 to 20 of 120 total
Start
Contact
Print
General Help
