Proceedings of the 8th OMNeT++ Community Summit, Virtual Summit, September 8-10, 2021

Marcel Marek,Giovanni Nardini,Vladimír Veselý

DOI: https://doi.org/10.48550/arXiv.2109.11607

2021-09-24

Networking and Internet Architecture

Abstract:These are the Proceedings of the 8th OMNeT++ Community Summit, which was held virtually on September 8-10, 2021.

What problem does this paper attempt to address?

Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014

Anna Förster,Christoph Sommer,Till Steinbach,Matthias Wählisch

DOI: https://doi.org/10.48550/arXiv.1409.0093

2014-09-03

Abstract:This is the Proceedings of the 1st OMNeT++ Community Summit, which was held in Hamburg, Germany, September 2, 2014.

Performance
Proceedings of the 18th International Overture Workshop

John Fitzgerald,Tomohiro Oda,Hugo Daniel Macedo

DOI: https://doi.org/10.48550/arXiv.2101.07261

2021-01-19

Abstract:This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.

Software Engineering
Proceedings of the 22nd International Overture Workshop

Hugo Daniel Macedo,Ken Pierce,Leo Freitas

2024-09-30

Abstract:This volume contains the papers presented at the 22nd International Overture Workshop, held on the 10th of September 2024. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.

Software Engineering
Proceedings to the 25th International Workshop "What Comes Beyond the Standard Models", July 4 -- July 10, 2022, Bled, Slovenia

R. Bernabei,P. Belli,A. Bussolotti,V. Caracciolo,R. Cerulli,N. Ferrari,A. Leoncini,V. Merlo,F. Montecchia,F. Cappella,A. dAngelo,A. Incicchitti,A. Mattei,C.J. Dai,X.H. Ma,X.D. Sheng,Z.P. Ye,V. Beylin,L. Bonora,S. J. Brodsky,Paul H. Frampton,A. Ghoshal,G. Lambiase,S. Pal,A. Paul,S. Porey,A. Hernandez-Galeana,Maxim Yu. Khlopov,O.M. Lecian,Felix M Lev,N. S. Mankoc Borstnik,R. N. Mohapatra,H.B. Nielsen,C. D. Froggatt,K. Nagao,Guy F. de Teramond,K. Zioutas,V. Anastassopoulos,A Argiriou,G. Cantatore,S. Cetin,A. Gardikiotis,M. Karuza,A. Kryemadhi,M. Maroudas,A. Mastronikolis,K. Ozbozduman,Y. K. Semertzidis,M. Tsagri,I. Tsagris,V. V. Monakhov,M. Ninomiya,P. Salucci,Elia Dmitrieff

2023-03-30

Abstract:Proceedings for our meeting ``What comes beyond the Standard Models'', which covered a broad series of subjects.

General Physics
Proceedings of the 19th International Overture Workshop

Hugo Daniel Macedo,Casper Thule,Ken Pierce

DOI: https://doi.org/10.48550/arXiv.2110.09371

2021-10-18

Abstract:This volume contains the papers presented at the 19th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 22th October 2021. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.

Software Engineering
Automating Large-Scale Simulation and Data Analysis with OMNeT++: Lession Learned and Future Perspectives

Antonio Virdis,Carlo Vallati,Giovanni Nardini

DOI: https://doi.org/10.48550/arXiv.1609.04603

2016-09-15

Abstract:Simulation is widely adopted in the study of modern computer networks. In this context, OMNeT++ provides a set of very effective tools that span from the definition of the network, to the automation of simulation execution and quick result representation. However, as network models become more and more complex to cope with the evolution of network systems, the amount of simulation factors, the number of simulated nodes and the size of results grow consequently, leading to simulations with larger scale. In this work, we perform a critical analysis of the tools provided by OMNeT++ in case of such large-scale simulations. We then propose a unified and flexible software architecture to support simulation automation.

Performance,Distributed, Parallel, and Cluster Computing
Proceedings of the 15th Annual UT-KBRIN Bioinformatics Summit 2016

Eric C. Rouchka,Julia H. Chariker,Benjamin J. Harrison,Juw Won Park,Xueyuan Cao,Stanley Pounds,Susana Raimondi,James Downing,Raul Ribeiro,Jeffery Rubnitz,Jatinder Lamba,Bernie J. Daigle,Deborah Burgess,Stephanie Gehrlich,John C. Carmen,Nicholas Johnson,Chandrakanth Emani,Kalpani De Silva,Michael P. Heaton,Theodore S. Kalbfleisch,Teeradache Viangteeravat,Rahul Mudunuri,Oluwaseun Ajayi,Fatih Şen,Eunice Y. Huang,Mohammad Mohebbi,Luaire Florian,Douglas J. Jackson,John F. Naber,AKM Sabbir,Sally R. Ellingson,Yuping Lu,Charles A Phillips,Michael A. Langston,Rahul K. Sevakula,Raghuveer Thirukovalluru,Nishchal K. Verma,Yan Cui,Mohammed Sayed,Jing Wang,Qi Liu,Yu Shyr,Xiaofei Zhang,Naresh Prodduturi,Gavin R. Oliver,Diane Grill,Jie Na,Jeanette Eckel-Passow,Eric W. Klee,Michael M. Goodin,Mark Farman,Harrison Inocencio,Chanyong Jang,Jerzy W. Jaromczyk,Neil Moore,Kelly Sovacool,Leon Dent,Mike Izban,Sammed Mandape,Shruti Sakhare,Siddharth Pratap,Dana Marshall,M Scotty DePriest,James N. MacLeod,Hanady Adam,Ethan Blandford,Joel Campbell,Joshua Castlen,Brittany Dixon,Ginger Gilbert,Aaron Hall,Philip Kreisle,Jessica Lasher,Bethany Oakes,Allison Speer,Maximilian Valentine,Naga Satya V. Rao Nagisetty,Rony Jose,Robert Rooney,David Hains

DOI: https://doi.org/10.1186/s12859-016-1154-y

IF: 3.307

2016-01-01

BMC Bioinformatics

Abstract:I1 Proceedings of the Fifteenth Annual UT- KBRIN Bioinformatics Summit 2016
Proceedings Ninth International Workshop on Foundations of Mobile Computing

Keren Censor-Hillel,Valerie King

DOI: https://doi.org/10.48550/arXiv.1310.4595

2013-10-17

Distributed, Parallel, and Cluster Computing

Abstract:Mobile communication has become a vigorous field of research in computer science, due to the wide spreading of mobile technologies, applications and services. The intertwining of communication, computation and mobility constantly poses new challenges to algorithmic design in this area. The Foundations of Mobile Computing (FOMC) workshop is dedicated to all aspects that cover contributions both in the design and analysis of discrete/distributed algorithms, and in the system modeling of mobile, wireless and similarly dynamic networks. It aims to bring together the practitioners and theoreticians of the field to foster cooperation between research in mobile computing and algorithms.
Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing

Qingrui Xu,Bin Guo,Jin Chen

DOI: https://doi.org/10.1109/iemc.1996.547912

1996-01-01

Abstract:The following topics were dealt with: applications; networks and routing; distributed systems; scheduling and data mapping; parallel architectures; graph theory and networks; wormhole routing; scheduling; sorting and selection; synchronisation; I/O; scheduling and load balancing; database issues; parallel algorithms; languages and compilers; interconnection networks; and networks and embedding
Introduction to the GLOBECOM 2023 Optical Networks and Systems Symposium Special Issue

Nicola Andriolli,Jerzy Domżał,Elaine Wong

DOI: https://doi.org/10.1364/jocn.539472

IF: 4.508

2024-08-22

Journal of Optical Communications and Networking

Abstract:Nicola Andriolli, Jerzy Domżał, Elaine Wong This Special Issue contains a collection of invitation-only extensions based on papers presented at the Optical Networks and Systems ... [J. Opt. Commun. Netw. 16, ONS1-ONS2 (2024)]

computer science, information systems,telecommunications, hardware & architecture,optics
Mini-Proceedings ECT*: Speakable in quantum mechanics: atomic, nuclear and subnuclear physics tests

C. Curceanu,J. Marton,E. Milotti

DOI: https://doi.org/10.48550/arXiv.1112.1273

2011-12-06

Quantum Physics

Abstract:Mini-Proceedings ECT*: Speakable in quantum mechanics: atomic, nuclear and subnuclear physics tests, ECT*-Trento, 29 August - 2 September, 2011
Processes and Foundations for Virtual Organizations

DOI: https://doi.org/10.1007/978-0-387-35704-1

2004-01-01

Abstract:Processes and Foundations for Virtual Organizations contains selected articles from PRO-VE'03, the Fourth Working Conference on Virtual Enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Lugano, Switzerland in October 2003. This fourth edition includes a rich set of papers revealing the progress and achievements in the main current focus areas: -VO breeding environments; -Formation of collaborative networked organizations; -Ontologies and knowledge management; -Process models and interoperability; -Infrastructures; -Multi-agent approaches. In spite of many valid contributions in these areas, many research challenges remain. This is clearly stated in a number of papers suggesting a new research agenda and strategic research roadmaps for advanced virtual organizations. With the selected papers included in this book, PRO-VE pursues its double mission as a forum for presentation and discussion of achievements as well as a place to discuss and suggest new directions and research strategies.
Workflows Community Summit 2022: A Roadmap Revolution

Rafael Ferreira da Silva,Rosa M. Badia,Venkat Bala,Debbie Bard,Peer-Timo Bremer,Ian Buckley,Silvina Caino-Lores,Kyle Chard,Carole Goble,Shantenu Jha,Daniel S. Katz,Daniel Laney,Manish Parashar,Frederic Suter,Nick Tyler,Thomas Uram,Ilkay Altintas,Stefan Andersson,William Arndt,Juan Aznar,Jonathan Bader,Bartosz Balis,Chris Blanton,Kelly Rosa Braghetto,Aharon Brodutch,Paul Brunk,Henri Casanova,Alba Cervera Lierta,Justin Chigu,Taina Coleman,Nick Collier,Iacopo Colonnelli,Frederik Coppens,Michael Crusoe,Will Cunningham,Bruno de Paula Kinoshita,Paolo Di Tommaso,Charles Doutriaux,Matthew Downton,Wael Elwasif,Bjoern Enders,Chris Erdmann,Thomas Fahringer,Ludmilla Figueiredo,Rosa Filgueira,Martin Foltin,Anne Fouilloux,Luiz Gadelha,Andy Gallo,Artur Garcia Saez,Daniel Garijo,Roman Gerlach,Ryan Grant,Samuel Grayson,Patricia Grubel,Johan Gustafsson,Valerie Hayot-Sasson,Oscar Hernandez,Marcus Hilbrich,AnnMary Justine,Ian Laflotte,Fabian Lehmann,Andre Luckow,Jakob Luettgau,Ketan Maheshwari,Motohiko Matsuda,Doriana Medic,Pete Mendygral,Marek Michalewicz,Jorji Nonaka,Maciej Pawlik,Loic Pottier,Line Pouchard,Mathias Putz,Santosh Kumar Radha,Lavanya Ramakrishnan,Sashko Ristov,Paul Romano,Daniel Rosendo,Martin Ruefenacht,Katarzyna Rycerz,Nishant Saurabh,Volodymyr Savchenko,Martin Schulz,Christine Simpson,Raul Sirvent,Tyler Skluzacek,Stian Soiland-Reyes,Renan Souza,Sreenivas Rangan Sukumar,Ziheng Sun,Alan Sussman,Douglas Thain,Mikhail Titov,Benjamin Tovar,Aalap Tripathy,Matteo Turilli,Bartosz Tuznik,Hubertus van Dam,Aurelio Vivas,et al. (5 additional authors not shown)

DOI: https://doi.org/10.5281/zenodo.7750670

2023-03-31

Abstract:Scientific workflows have become integral tools in broad scientific computing use cases. Science discovery is increasingly dependent on workflows to orchestrate large and complex scientific experiments that range from execution of a cloud-based data preprocessing pipeline to multi-facility instrument-to-edge-to-HPC computational workflows. Given the changing landscape of scientific computing and the evolving needs of emerging scientific applications, it is paramount that the development of novel scientific workflows and system functionalities seek to increase the efficiency, resilience, and pervasiveness of existing systems and applications. Specifically, the proliferation of machine learning/artificial intelligence (ML/AI) workflows, need for processing large scale datasets produced by instruments at the edge, intensification of near real-time data processing, support for long-term experiment campaigns, and emergence of quantum computing as an adjunct to HPC, have significantly changed the functional and operational requirements of workflow systems. Workflow systems now need to, for example, support data streams from the edge-to-cloud-to-HPC enable the management of many small-sized files, allow data reduction while ensuring high accuracy, orchestrate distributed services (workflows, instruments, data movement, provenance, publication, etc.) across computing and user facilities, among others. Further, to accelerate science, it is also necessary that these systems implement specifications/standards and APIs for seamless (horizontal and vertical) integration between systems and applications, as well as enabling the publication of workflows and their associated products according to the FAIR principles. This document reports on discussions and findings from the 2022 international edition of the Workflows Community Summit that took place on November 29 and 30, 2022.

Distributed, Parallel, and Cluster Computing
Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing

Sherman Shen,Youxian Sun,Jiming Chen,Junshan Zhang,Gil Zussman

2015-01-01

Abstract:On behalf of the Technical Program Committee, we would like to welcome you to ACM MobiHoc 2015 in Hangzhou, China. ACM MobiHoc is the premier international symposium dedicated to addressing challenges emerging from wireless networking and computing. The highly selective technical program has traditionally brought together a unique blend of researchers and practitioners, thereby influencing the direction of a wide range of wireless networking research areas. We hope that you will find the conference intellectually stimulating. We are delighted to report that this year's program continues the tradition of excellence set by this conference over the years. We received 250 submissions, which has made it extremely challenging to select only 37 papers for presentation and inclusion in the proceedings. At such a selective acceptance rate (14.8%) many of the papers that we could not accept are of high quality and we are certain that many of them will appear in the near future at other top-tier conferences. The paper selection process was handled by the Technical Program Committee (TPC). The TPC included 65 excellent members with expertise spanning all the major areas relevant to the conference scope. In particular, the TPC was composed of members from 16 countries and included 11 members from research labs and industry. The 250 submitted papers went through a first phase of reviews followed by a very active online discussion phase. Then, several papers went through a second review phase. The reviews were provided by the TPC members and, when needed, a few reviews were provided by external expert reviewers. At the end of this process and based on the results of the online discussion, 12 papers were accepted and 46 papers were further discussed at the TPC meeting that was held on Feb. 28, 2015 at Columbia University in New York. Following the discussions at the meeting, 25 additional papers were accepted. Ten of the accepted papers were assigned shepherds who volunteered to assist the authors during the process of preparing the final version. The work of the TPC was outstanding and we thank all the members for the time and efforts they dedicated to the paper selection process and to attending the meeting. These efforts make this wonderful conference possible. We are pleased with the strong technical program of the conference, represented by the papers in these proceedings. The conference program covers a wide range of topics, including routing, scheduling, algorithms, performance evaluation, dynamic spectrum access, cellular networks, sensor networks, mobile applications and crowdsensing, security, and wireless systems. This year's program is preceded by a set of seven workshops. It continues the tradition of having keynote talks from outstanding leaders in the field, and it includes a poster/demo session. The keynote speakers are Prof. Ness B. Shroff, the Ohio Eminent Scholar in Networking and Communications at The Ohio State University, Prof. Wen Gao, Vice President of the NSF of China, and Prof. Andrea Goldsmith, the Stephen Harris Professor in the School of Engineering, Professor of Electrical Engineering at Stanford University.
Proceedings 7th Symposium on Working Formal Methods

Horaţiu Cheval,Laurenţiu Leuştean,Andrei Sipoş

DOI: https://doi.org/10.4204/EPTCS.389

2023-09-22

Abstract:This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

Logic in Computer Science
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Jan Bouda,Lukáš Holík,Jan Kofroň,Jan Strejček,Adam Rambousek

DOI: https://doi.org/10.48550/arXiv.1612.04037

2016-12-13

Logic in Computer Science

Abstract:MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. MEMICS submissions traditionally cover all areas of computer science (such as parallel and distributed computing, computer networks, modern hardware and its design, non-traditional computing architectures, information systems and databases, multimedia and graphics, verification and testing, computer security, as well as all related areas of theoretical computer science).
Preface to the 16th workshop "What comes beyond the standard models", Bled July 14--21, 2013, and links to the talks in the proceedings

N. S. Mankoč Borštnik,H. F. B. Nielsen,M. Y. Khlopov,D. Lukman

DOI: https://doi.org/10.48550/arXiv.1403.4441

2014-03-18

Abstract:The contribution contains the preface to the Proceedings to the 16th Workshop What Comes Beyond the Standard Models, Bled, July 14 - 21, 2013, published in Bled workshops in physics, Vol.14, No. 2, DMFA-Založnistvo, Ljubljana, Dec. 2013, links to (most of) the published contributions and section (by <a class="link-external link-http" href="http://M.Yu" rel="external noopener nofollow">this http URL</a>. Khlopov) on VIA at Bled 2013.

High Energy Physics - Phenomenology,High Energy Physics - Experiment,High Energy Physics - Theory
Reliable and interoperable computational molecular engineering: 2. Semantic interoperability based on the European Materials and Modelling Ontology

Martin Thomas Horsch,Silvia Chiacchiera,Youness Bami,Georg J. Schmitz,Gabriele Mogni,Gerhard Goldbeck,Emanuele Ghedini

DOI: https://doi.org/10.48550/arXiv.2001.04175

2020-01-13

Computational Engineering, Finance, and Science

Abstract:The European Materials and Modelling Ontology (EMMO) is a top-level ontology designed by the European Materials Modelling Council to facilitate semantic interoperability between platforms, models, and tools in computational molecular engineering, integrated computational materials engineering, and related applications of materials modelling and characterization. Additionally, domain ontologies exist based on data technology developments from specific platforms. The present work discusses the ongoing work on establishing a European Virtual Marketplace Framework, into which diverse platforms can be integrated. It addresses common challenges that arise when marketplace-level domain ontologies are combined with a top-level ontology like the EMMO by ontology alignment.
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software

Francisco Martins,Dominic Orchard

DOI: https://doi.org/10.4204/EPTCS.291

2019-03-31

Abstract:Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) is dedicated to work in this area. The workshop offers a forum for researchers from different fields to exchange new ideas about these challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. This proceedings covers the 11th edition of PLACES, which was co-located with ETAPS 2019 in Prague, Czech Republic.

Programming Languages,Distributed, Parallel, and Cluster Computing
Proceedings Eighth Symposium on Working Formal Methods

Mircea Marin,Laurenţiu Leuştean

DOI: https://doi.org/10.4204/EPTCS.410

2024-10-30

Abstract:The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions.

Logic in Computer Science

Proceedings of the 8th OMNeT++ Community Summit, Virtual Summit, September 8-10, 2021

Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014

Proceedings of the 18th International Overture Workshop

Proceedings of the 22nd International Overture Workshop

Proceedings to the 25th International Workshop "What Comes Beyond the Standard Models", July 4 -- July 10, 2022, Bled, Slovenia

Proceedings of the 19th International Overture Workshop

Automating Large-Scale Simulation and Data Analysis with OMNeT++: Lession Learned and Future Perspectives

Proceedings of the 15th Annual UT-KBRIN Bioinformatics Summit 2016

Proceedings Ninth International Workshop on Foundations of Mobile Computing

Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing

Introduction to the GLOBECOM 2023 Optical Networks and Systems Symposium Special Issue

Mini-Proceedings ECT*: Speakable in quantum mechanics: atomic, nuclear and subnuclear physics tests

Processes and Foundations for Virtual Organizations

Workflows Community Summit 2022: A Roadmap Revolution

Proceedings of the 16th ACM International Symposium on Mobile Ad Hoc Networking and Computing

Proceedings 7th Symposium on Working Formal Methods

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Preface to the 16th workshop "What comes beyond the standard models", Bled July 14--21, 2013, and links to the talks in the proceedings

Reliable and interoperable computational molecular engineering: 2. Semantic interoperability based on the European Materials and Modelling Ontology

Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings Eighth Symposium on Working Formal Methods