Reliable Software Technologies - Ada-Europe 2014 - 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014.The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

List of contents

Formal methods.- Uses of ada.- Real-time scheduling.- Applications.

About the author

Complex networks and data stream mining.- Data mining methods.- Intelligent systems applications.- Knowledge representation in databases and systems.- Textual data analysis and mining.- Special session: challenges in text mining and semantic information retrieval.- Special session: warehousing and OLAPing complex, spatial and spatio-temporal data.- ISMIS posters.

Summary

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014.
The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

Product details

• Assisted by: Lauren George (Editor), Laurent George (Editor), George. Laurent (Editor), George Laurent (Editor), Vardanega (Editor), Vardanega (Editor), Tullio Vardanega (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 26.05.2014
• EAN: 9783319083100
• ISBN: 978-3-31-908310-0
• No. of pages: 193
• Dimensions: 158 mm x 235 mm x 13 mm
• Weight: 324 g
• Illustrations: XIV, 193 p. 56 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; C, Software Engineering, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Expert systems / knowledge-based systems, Mathematical Logic and Formal Languages, Computer architecture & logic design, Compilers & interpreters, Programming languages (Electronic computers), Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters