Result 1 to 20 of 154 total
An algorithm of automatic workflow optimization. (English)
Program. Comput. Softw. 38, No. 1, 43-56 (2012); translation from Programmirovanie 38, No. 1 (2012).
1
Improving reachability analysis of infinite state systems by specialization. (English)
Fundam. Inform. 119, No. 3-4, 281-300 (2012).
2
Verification of TLB virtualization implemented in C. (English)
Joshi, Rajeev (ed.) et al., Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27704-7/pbk). Lecture Notes in Computer Science 7152, 209-224 (2012).
3
Formal testing for separation assurance. (English)
Ann. Math. Artif. Intell. 63, No. 1, 5-30 (2011).
4
Computer-assisted verification method for invariant densities and rates of decay of correlations. (English)
SIAM J. Appl. Dyn. Syst. 10, No. 2, 788-816, electronic only (2011).
5
Correct code containing containers. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 102-118 (2011).
6
A formal approach to unconditional security proofs for quantum key distribution. (English)
Calude, Cristian S. (ed.) et al., Unconventional computation. 10th international conference, UC 2011, Turku, Finland, June 6‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21340-3/pbk). Lecture Notes in Computer Science 6714, 125-137 (2011).
7
Multi-symbology and multiple 1D/2D barcodes extraction framework. (English)
Lee, Kuo-Tien (ed.) et al., Advances in multimedia modeling. 17th international multimedia modeling conference, MMM 2011, Taipei, Taiwan, January 5‒7, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17828-3/pbk). Lecture Notes in Computer Science 6524, 401-410 (2011).
8
Structured interactive musical scores. (English)
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16‒19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPICS ‒ Leibniz International Proceedings in Informatics 7, 300-302, electronic only (2010).
9
Efficient computation of enclosures for the exact solvents of a quadratic matrix equation. (English)
Electron. J. Linear Algebra 20, 519-536, electronic only (2010).
10
Using theorem proving to verify properties of agent programs. (English)
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 1-33 (2010).
11
Adaptive set-oriented computation of topological horseshoe factors in area and volume preserving maps. (English)
SIAM J. Appl. Dyn. Syst. 9, No. 4, 1164-1200, electronic only (2010).
12
Correctness of sensor network applications by software bounded model checking. (English)
Kowalewski, Stefan (ed.) et al., Formal methods for industrial critical systems. 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15897-1/pbk). Lecture Notes in Computer Science 6371, 115-131 (2010).
13
Tools and technologies for computer-aided speech and language therapy. (English)
Speech Commun. 51, No. 10, 948-967 (2009).
14
Machine-checked sequencer for critical embedded code generator. (English)
Breitman, Karin (ed.) et al., Formal methods and software engineering. 11th international conference on formal engineering methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10372-8/pbk). Lecture Notes in Computer Science 5885, 521-540 (2009).
15
Integrated formal approach for qualified critical embedded code generator. (English)
Alpuente, María (ed.) et al., Formal methods for industrial critical systems. 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04569-1/pbk). Lecture Notes in Computer Science 5825, 199-201 (2009).
16
Modeling LTE protocol for mobile terminals using a formal description technique. (English)
Reed, Rick (ed.) et al., SDL 2009: Design for motes and mobiles. 14th international SDL forum, Bochum, Germany, September 22‒24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04553-0/pbk). Lecture Notes in Computer Science 5719, 222-238 (2009).
17
Automatic cross-biometric footstep database labelling using speaker recognition. (English)
Tistarelli, Massimo (ed.) et al., Advances in biometrics. Third international conference, ICB 2009, Alghero, Italy, June 2‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01792-6/pbk). Lecture Notes in Computer Science 5558, 503-512 (2009).
18
Introduction to interval analysis. (English)
Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-0-898716-69-6/pbk; 978-0-89871-771-6/ebook). xi, 223~p. \$~72.00 (2009).
19
Automatic symmetry detection for Promela. (English)
J. Autom. Reasoning 41, No. 3-4, 251-293 (2008).
20
Result 1 to 20 of 154 total
Start
Contact
Print
General Help
