東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Leveraging applications of formal me...

Hahnle, Reiner.

Linked to FindBook

Google Book

Amazon

博客來

Leveraging applications of formal methods, verification, and validation = international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Leveraging applications of formal methods, verification, and validation/ edited by Reiner Hahnle ... [et al.].{me_controlnum}
Reminder of title:	international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
other author:	Hahnle, Reiner.
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2012.,
Description:	260 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Intelligent agents (Computer software) -
Online resource:	http://dx.doi.org/10.1007/978-3-642-34781-8
ISBN:	9783642347818 (electronic bk.)

Leveraging applications of formal methods, verification, and validation = international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
Leveraging applications of formal methods, verification, and validationinternational workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /[electronic resource] :edited by Reiner Hahnle ... [et al.].{me_controlnum} - Berlin, Heidelberg :Springer Berlin Heidelberg :2012. - 260 p. :ill., digital ;24 cm. - Communications in computer and information science,1865-0929. - Communications in computer and information science..

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

ISBN: 9783642347818 (electronic bk.)Subjects--Topical Terms:

567546
Intelligent agents (Computer software)

Dewey Class. No.: 006.3

Leveraging applications of formal methods, verification, and validation = international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
LDR:02511nmm a2200265 a 4500 001 1329228
003 DE-He213
005 20121205152848.0
006 m d
007 cr nn 008maaau
008 130207s2012 gw s 0 eng d
020 $a 9783642347818 (electronic bk.)
020 $a 9783642347801 (paper)
035 $a 978-3-642-34781-8
040 $a GP $c GP
041 0 $a eng
082 0 4 $a 006.3 $2 23
090 $a QA76.76.I5 $b L659 2012
245 0 0 $a Leveraging applications of formal methods, verification, and validation $h [electronic resource] : $b international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / $c edited by Reiner Hahnle ... [et al.].{me_controlnum}
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2012.
300 $a 260 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929
520 $a This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
650 0 $a Intelligent agents (Computer software) $3 567546
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Data Mining and Knowledge Discovery. $3 898250
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Computation by Abstract Devices. $3 891207
650 2 4 $a Information Storage and Retrieval. $3 761906
650 2 4 $a Pattern Recognition. $3 891045
700 1 $a Hahnle, Reiner. $3 900546
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Communications in computer and information science. $3 1620937
856 4 0 $u http://dx.doi.org/10.1007/978-3-642-34781-8
950 $a Computer Science (Springer-11645)