Výsledky vyhledávání - Verification/analysis parameterised by semantics

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

Autoři: Claudio Corrodi Alexander Heußner Christopher M. Poskitt

Zdroj: Formal Aspects of Computing. 30:163-192

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, runtime semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, verification/analysis parameterised by semantics, object-oriented programming, SCOOP, GROOVE, 16. Peace & justice, concurrency abstractions, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, distributed programming with message passing, operational semantics, concurrent asynchronous programming, graph transformation systems, Distributed, Parallel, and Cluster Computing (cs.DC), software engineering, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://ink.library.smu.edu.sg/sis_research/4857
http://arxiv.org/abs/1710.03928
http://export.arxiv.org/abs/1710.03928
https://export.arxiv.org/pdf/1710.03928
https://arxiv.org/pdf/1710.03928.pdf
https://arxiv.org/abs/1710.03928
https://dl.acm.org/doi/10.1007/s00165-017-0443-1
https://doi.org/10.1007/s00165-017-0443-1
https://ink.library.smu.edu.sg/sis_research/4857/
http://ui.adsabs.harvard.edu/abs/2017arXiv171003928C/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-03928
https://link.springer.com/article/10.1007%2Fs00165-017-0443-1

Quantitative modelling and analysis of BDI agents.

Autoři: Archibald, Blair Calder, Muffy Sevegnani, Michele a další

Zdroj: Software & Systems Modeling; Apr2024, Vol. 23 Issue 2, p343-367, 25p

Témata: QUANTITATIVE research, PROGRAMMING languages, ROBOTICS software, INTENTION

Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS.

Autoři: Chen, Gang Kong, Zhaodan Xie, Longhan

Zdroj: International Journal of Control; Dec2024, Vol. 97 Issue 12, p2935-2950, 16p

Témata: SEMIDEFINITE programming, LINEAR systems, FORMAL languages, SATISFACTION, PARTICIPATORY design

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata.

Autoři: Mu, Yongan Liu, Wei Lu, Tao a další

Zdroj: Journal of Intelligent & Fuzzy Systems; 2023, Vol. 45 Issue 6, p10305-10322, 18p

Témata: PROBABILISTIC automata, MULTIAGENT systems, SELF-adaptive software, QUANTITATIVE research, LOGIC, ROBOTS

Provenance-Based Validation of E-Science Experiments.

Autoři: Gil, Yolanda Motta, Enrico Benjamins, V. Richard a další

Zdroj: Semantic Web - ISWC 2005; 2005, p801-815, 15p

Counterexample Guided Spotlight Abstraction Refinement.

Autoři: Toben, Tobe

Zdroj: Formal Techniques for Networked & Distributed Systems - Forte 2008; 2008, p21-36, 16p

Non-interference Properties for Data-Type Reduction of Communicating Systems.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Integrated Formal Methods (9783540732099); 2007, p619-638, 20p

Using SMT for Solving Fragments of Parameterised Boolean Equation Systems.

Autoři: Koolen, Ruud P. J. Willemse, Tim A. C. Zantema, Hans

Zdroj: Automated Technology for Verification & Analysis 13th International Symposium, ATVA 2015 Shanghai, China, October 12-15, 2015, Proceedings; 2015, p14-30, 17p

A Transformational Approach to Parametric Accumulated-Cost Static Profiling.

Autoři: Haemmerlé, R. López-García, P. Liqat, U. a další

Zdroj: Functional & Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings; 2016, p163-180, 18p

GeoSpatial Semantics : Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007

Autoři: Frederico Fonseca M. Andrea Rodriguez Sergei Levashkin

Resource Type: eBook.

Témata: Database management, Data mining, Artificial intelligence, Application software, Business information services, Earth sciences

Categories: COMPUTERS / Database Administration & Management, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Management Information Systems, MATHEMATICS / Probability & Statistics / General, SCIENCE / Earth Sciences / General

Liveness Analysis for Parameterised Boolean Equation Systems.

Autoři: Keiren, Jeroen J. A. Wesselink, Wieger Willemse, Tim A. C.

Zdroj: Automated Technology for Verification & Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings; 2014, p219-234, 16p

EGU General Assembly 2016.

Zdroj: Geophysical Research Abstracts; 2016, Vol. 18, p1-16028, 16028p

MOBIUS: Mobility, Ubiquity, Security.

Autoři: Hutchison, David Kanade, Takeo Kittler, Josef a další

Zdroj: Trustworthy Global Computing (978-3-540-75333-9); 2007, p10-29, 20p

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Autoři: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.

Autoři: Beneš, Nikola Brim, Luboš Demko, Martin a další

Zdroj: Automated Technology for Verification & Analysis (9783319465197); 2016, p192-208, 17p

The Semantic Web – ISWC 2005 : 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings

Autoři: Yolanda Gil Enrico Motta V. Richard Benjamins a další

Resource Type: eBook.

Témata: Application software, Computer science, Information storage and retrieval systems, Computer networks, Multimedia systems

Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / General, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Interactive & Multimedia, COMPUTERS / Networking / General

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Autoři: André Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Multidisciplinary Aspects of Design

Autoři: Francesca Zanella Giampiero Bosoni Elisabetta Di Stefano a další

Resource Type: eBook.

Témata: Industrial design--Congresses, Design--Congresses

Categories: BUSINESS & ECONOMICS / Management, BIOGRAPHY & AUTOBIOGRAPHY / Cultural & Regional, DESIGN / General, SOCIAL SCIENCE / Anthropology / Cultural & Social

Geotechnical Engineering Challenges to Meet Current and Emerging Needs of Society

Autoři: Nuno Guerra Manuel Matos Fernandes Cristiana Ferreira a další

Resource Type: eBook.

Témata: Geotechnical engineering

Categories: TECHNOLOGY & ENGINEERING / Civil / Soil & Rock, TECHNOLOGY & ENGINEERING / General