CiteSeerX — Search Results — Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Results 1 - 10 of 33,969

C2) Methodology to the Land Environment

by C Methodology To The, Land Environment, Anthony H. Dekker, Anthony H. Dekker , 2002

"... In this paper we re-examine the FINC (Force, Intelligence, Networking and C2) methodology for analysing C4ISR circhitectures, studying its applicability to hierarchical organisational structures in the Land envirorunent. For this study we utilise a search-and-manoeuvre experimental scenario, impleme ..."

Abstract - Add to MetaCart

In this paper we re-examine the FINC (Force, Intelligence, Networking and C2) methodology for analysing C4ISR circhitectures, studying its applicability to hierarchical organisational structures in the Land envirorunent. For this study we utilise a search-and-manoeuvre experimental scenario

Satellite event of ETAPS 2009 Preface

by Lúıs Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh, Lúıs Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh, Lúıs Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh, Cornelia Boldyreff, Vicky Bush, Gabriel Ciobanu, Ernesto Damiani, Roberto Di Cosmo, Jesus Arias Fisteus, Dan Ghica, Stefania Gnesi, Sotiris Ioannidis, Tomasz Janowski, Fabio Kon, Paddy Krishnan, Bernard Lang, John Noll , 2009

"... Free/Libre/Open Source Software (FLOSS) has proved to be very successful over the years. This has brought with it an increasing interest to use FLOSS for complex and industrial-strength applications. An important aspect of this is the formal and rigorous analysis of the quality and safety properties ..."

Abstract - Add to MetaCart

properties of FLOSS along with other related challenges. This volume contains the preproceedings of the 3rd International Work-shop on Foundations and Techniques for Open Source Software Certification (OpenCert 2009) held as a satellite event of the 12th European Joint Con-

and held in

by C. K. W. Tam, J. C. Hardin, C. K. W. Tam, J. C. Hardin , 1997

"... (Contour plot of acoustic pressure field produced by source scattering from cylinder) ..."

Abstract - Add to MetaCart

(Contour plot of acoustic pressure field produced by source scattering from cylinder)

CONTENTS Pref ace PART I. THEORY AND PRACTICE OF STRATEGIC PLANNING

by unknown authors

"... No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means without prior permission of its author(s) and the editor. ISBN 90-6562-001-X \.(\lN'<;C ç.. ' \ 81 Ir ( ~ ~ ~ ~ ( _ _ 009813;) t; ~ IJl ~ 2}.. J" ..."

Abstract - Add to MetaCart

No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means without prior permission of its author(s) and the editor. ISBN 90-6562-001-X \.(\lN'<;C ç.. ' \ 81 Ir ( ~ ~ ~ ~ ( _ _ 009813;) t; ~ IJl ~ 2}.. J"

Parts

by Dean Ljubicic, Dr. Brian Anthony, David E. Hardt, Dean Ljubicic , 2013

"... cr/roa ..."

Abstract - Add to MetaCart

Abstract not found

2Introduction to Conference Proceedings

by Anna Peachey, Conference Chair , 2008

"... Life, in June 2006, and was quick to see the potential of this environment for working with our students. Other universities did likewise, and by 2007 there was a boom in the number of educators investigating the use of multi-user virtual environments for teaching and learning. As virtual worlds sta ..."

Abstract - Add to MetaCart

virtual world that, in the spring of this year, we started to explore the possibility of a conference that would not only offer an opportunity for publishing and networking but would bring people together around the central theme of researching learning in MUVEs. From the onset, it was decided