Zobrazeno 1 - 10
of 13
pro vyhledávání: '"94(9)"'
This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018. The 23 full and 2 invited talks papers pres
Autor:
Isil Dillig, Jens Palsberg
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefu
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers pres
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully review
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known
Autor:
Eran Yahav
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected fr
Autor:
Klaus Schmaranz
Dieses Buch bietet sowohl eine anwendungsorientierte Einführung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an die Softwareentwicklung. Zahlreiche Beispiele werden zur Erläuterung angeführt, und der Weg von de
Autor:
Wilfried Gerth, Per Baacke
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer müsse
Autor:
Stephan Diehl
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of