Result 1 to 20 of 540 total
Models and algorithms for robust network design with several traffic scenarios. (English)
Mahjoub, A. Ridha (ed.) et al., Combinatorial optimization. Second international symposium, ISCO 2012, Athens, Greece, April 19-21, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32146-7/pbk). Lecture Notes in Computer Science 7422, 261-272 (2012).
1
Approximating earliest arrival flows in arbitrary networks. (English)
Epstein, Leah (ed.) et al., Algorithms ‒ ESA 2012. 20th annual European symposium, Ljubljana, Slovenia, September 10‒12, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33089-6/pbk). Lecture Notes in Computer Science 7501, 551-562 (2012).
2
Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7460. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). xi, 457~p. EUR~66.34 (2012).
3
Inverse-limit and topological aspects of abstract interpretation. (English)
Theor. Comput. Sci. 430, 23-42 (2012).
4
A hardware efficient random number generator for nonuniform distributions with arbitrary precision. (English)
Int. J. Reconfig. Comput. 2012, Article ID 675130, 11 p. (2012).
5
Model-driven auto-scaling of Green cloud computing infrastructure (English)
Future Generation Comp. Syst. 28, No. 2, 371-378 (2012).
6
A simple Bayesian algorithm for feature ranking in high dimensional regression problems. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 223-230 (2011).
7
Logistic regression with the nonnegative garrote. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 82-91 (2011).
8
QoS-enabled distributed mutual exclusion in public clouds. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 542-559 (2011).
9
A SIP-based network QoS provisioning framework for cloud-hosted DDS applications. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 507-524 (2011).
10
Experiences with service-oriented middleware for dynamic instrumentation of enterprise DRE systems. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 478-497 (2011).
11
Optimizing integrated application performance with cache-aware metascheduling. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 432-450 (2011).
12
DOA-SVI 2011 PC co-chairs’ message. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). Lecture Notes in Computer Science 7045, 431 (2011).
13
Abstract LR-parsing. (English)
Agha, Gul (ed.) et al., Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. Berlin: Springer (ISBN 978-3-642-24932-7/pbk). Lecture Notes in Computer Science 7000, 90-109 (2011).
14
Using SOA governance design methodologies to augment enterprise service descriptions. (English)
Mouratidis, Haralambos (ed.) et al., Advanced information systems engineering. 23rd international conference, CAiSE 2011, London, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21639-8/pbk). Lecture Notes in Computer Science 6741, 566-581 (2011).
15
io-port 05967719 Meersman, Robert (ed.);
Dillon, Tharam (ed.);
Herrero, Pilar (ed.);
Kumar, Akhil (ed.);
Reichert, Manfred (ed.);
Qing, Li (ed.);
Ooi, Beng-Chin (ed.);
Damiani, Ernesto (ed.);
Schmidt, Douglas C. (ed.);
White, Jules (ed.);
Hauswirth, Manfred (ed.);
Hitzler, Pascal (ed.);
Mohania, Mukesh (ed.)
On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part II. (English)
Lecture Notes in Computer Science 7045. Berlin: Springer (ISBN 978-3-642-25105-4/pbk). xxvii, 431-836. EUR~66.34 (2011).
16
io-port 05967718 Meersman, Robert (ed.);
Dillon, Tharam (ed.);
Herrero, Pilar (ed.);
Kumar, Akhil (ed.);
Reichert, Manfred (ed.);
Qing, Li (ed.);
Ooi, Beng-Chin (ed.);
Damiani, Ernesto (ed.);
Schmidt, Douglas C. (ed.);
White, Jules (ed.);
Hauswirth, Manfred (ed.);
Hitzler, Pascal (ed.);
Mohania, Mukesh (ed.)
On the move to meaningful internet systems: OTM 2011. Confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings, Part I. (English)
Lecture Notes in Computer Science 7044. Berlin: Springer (ISBN 978-3-642-25108-5/pbk). xxviii, 430~p. EUR~66.34 (2011).
17
Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6538. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). xi, 419~p. EUR~66.34 (2011).
18
Using mobile devices and gaming as a means of building vocabulary (English)
iJIM 5, No. 4, 30-38 (2011).
19
Omnidirectional locomotion and traction control of the wheel-driven, wall-climbing robot, cromsci (English)
Robotica 29, No. 7, 991-1003 (2011).
20
Result 1 to 20 of 540 total
Start
Contact
Print
General Help
