Results 1 to 10 of about 532,868 (319)
Trajectory Specification Language for Air Traffic Control [PDF]
Journal of Advanced Transportation, 2018 Trajectory Specification is a method of specifying aircraft trajectories with tolerances such that the position at any given time in flight is constrained to a precisely defined bounding space.
Russell A. Paielli
doaj +2 more sources
PyBioNetFit and the Biological Property Specification Language [PDF]
iScience, 2019 Summary: In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations.
Eshan D. Mitra +7 more
doaj +2 more sources
A Roadmap to Ontology Specification Languages [PDF]
, 2000 The interchange of ontologies across the World Wide Web (WWW) and the cooperation among heterogeneous agents placed on it is the main reason for the development of a new set of ontology specification languages, based on new web standards such as XML or RDF.
Óscar Corcho, Asunción Gómez‐Pérez
openalex +4 more sources
A Language for Role Specifications [PDF]
, 2003 This paper presents a new language for identifying the changing roles that objects play over the course of the computation. Each object's points-to relationships with other objects determine the role that it currently plays. Roles therefore reflect the object's membership in specific data structures, with the object's role changing as it moves between ...
Viktor Kunčak +2 more
openalex +3 more sources
Verification of the Bully Election Algorithm for Distributed Systems Using TLA+ and PlusCal
Современные информационные технологии и IT-образование, 2022 This article is devoted to verification of the bully election algorithm for distributed systems with TLA+ and PlusCal. In this work, we show an overview of the basic information about distributed systems, then we show definition of election algorithms ...
Aleksey Polyakov +3 more
doaj +1 more source
Building Specifications in the Event-B Institution [PDF]
Logical Methods in Computer Science, 2022 This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model ...
Marie Farrell +2 more
doaj +1 more source
Lietuvos Matematikos Rinkinys, 2023 The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application.
Jelena Gasperovič
doaj +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an
Gurvan Le Guernic +2 more
doaj +1 more source
Rascal: From Algebraic Specification to Meta-Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on ...
Jeroen van den Bos +4 more
doaj +1 more source