Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

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).
WorldCat.org
1
Improving reachability analysis of infinite state systems by specialization. (English)
Fundam. Inform. 119, No. 3-4, 281-300 (2012).
WorldCat.org
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).
WorldCat.org
3
Formal testing for separation assurance. (English)
Ann. Math. Artif. Intell. 63, No. 1, 5-30 (2011).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
13
Tools and technologies for computer-aided speech and language therapy. (English)
Speech Commun. 51, No. 10, 948-967 (2009).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
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).
WorldCat.org
19
Automatic symmetry detection for Promela. (English)
J. Autom. Reasoning 41, No. 3-4, 251-293 (2008).
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 154 total

Valid XHTML 1.0 Transitional Valid CSS!