Výsledky vyhledávání - Semantics of Programming Languages. Process models

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Získat plný text

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory Autor Zhu, Ming, Grogono, Peter, Ormandjieva, Olga

“… In this paper, we propose to use mandatory/optional trace sets to model the semantics of a process-oriented programming language named Erasmus…”
Získat plný text

Developing Agent-Based Migration Models in Pairs Autor Reinhardt, Oliver, Uhrmacher, Adelinde M., Hinsch, Martin, Bijak, Jakub

“… One model is realized in the programming language Julia, the underlying execution semantics is of a discrete stepwise stochastic process…”
Získat plný text

DENOTATIONAL MODELS BASED ON SYNCHRONOUSLY COMMUNICATING PROCESSES (SEMANTICS, PROGRAMMING LANGUAGES) Autor GOLSON, WILLIAM GUYRE

“…We initially establish a fundamental connection between the semantic theories of concurrency and communication in the works of de Bakker and Milner…”
Získat plný text

RoboChart: modelling and verification of the functional behaviour of robotic applications Autor Miyazawa, Alvaro, Ribeiro, Pedro, Li, Wei, Cavalcanti, Ana, Timmis, Jon, Woodcock, Jim

“… Our goal is to support roboticists in writing models and applying modern verification techniques using a language familiar…”
Získat plný text

Dependency-Based Construction of Semantic Space Models Autor Sebastian Padó, Mirella Lapata

Získat plný text

Geometric semantic genetic programming with normalized and standardized random programs Autor Bakurov, Illya, Muñoz Contreras, José Manuel, Castelli, Mauro, Rodrigues, Nuno, Silva, Sara, Trujillo, Leonardo, Vanneschi, Leonardo

“…Geometric semantic genetic programming (GSGP) represents one of the most promising developments in the area of evolutionary computation (EC) in the last decade…”
Získat plný text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Získat plný text

ST-Petri: A Visual Executable Semantic Model for PLC Structured Text Language Autor Hu, Xiaoyu, Liang, Yonghui, Zhu, Shibo, Li, Hui, Zhu, Shanying

“…) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages…”
Získat plný text

Automaton-based comparison of Declare process models Autor Schützenmeier, Nicolai, Käppel, Martin, Ackermann, Lars, Jablonski, Stefan, Petter, Sebastian

“… Thus, it is also hard to decide whether two process models are equal with respect to their semantic meaning, whether one model is completely contained in another one or how far two models overlap…”
Získat plný text

The polychronous model of computation and Kahn process networks Autor Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Talpin, Jean-Pierre

“…In 1974, Gilles Khan defined a seminal semantic model for asynchronous dataflow programming that would then be called as the eponymous Kahn process networks (KPN…”
Získat plný text

A neural joint model for entity and relation extraction from biomedical text Autor Li, Fei, Zhang, Meishan, Fu, Guohong, Ji, Donghong

“… Previous work primarily utilized feature-based pipeline models to process this task. Many efforts need to be made on feature engineering when feature-based models are employed…”
Získat plný text

Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model Autor Kumar, Ram, Sharma, S. C.

“… The utilization of identical data sources and weighting strategies for expanding such terms are the major cause of this issue which leads the model unable to capture the comprehensive relationship…”
Získat plný text

Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning Autor Geng, Mingyang, Wang, Shangwen, Dong, Dezun, Wang, Haotian, Li, Ge, Jin, Zhi, Mao, Xiaoguang, Liao, Xiangke

“… from diverse perspectives such as what is the functionality of this code snippet and how to use it. To tackle this limitation, this study empirically investigates the feasibility of utilizing large language models (LLMs…”
Získat plný text

Ontology-based affective models to organize artworks in the social semantic web Autor Bertola, Federico, Patti, Viviana

“… artworks on social platforms. We present a framework where methods and tools from a set of disciplines, ranging from Semantic and Social Web to Natural Language Processing, provide us the building…”
Získat plný text

Adding liveness to behavioral programming: theory, implementation, and user study Autor Yaacov, Tom, Elyasaf, Achiya, Weiss, Gera

“…This paper investigates how Behavioral Programming (BP), and executable specifications in general, can more effectively align models with requirements, addressing a key motivation behind BP’s development…”
Získat plný text

Better late than never: a fully-abstract semantics for classical processes Autor Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco

“…We present Hypersequent Classical Processes (HCP), a revised interpretation of the “Proofs as Processes” correspondence between linear logic…”
Získat plný text

Semantic segmentation network stacking with genetic programming Autor Bakurov, Illya, Buzzelli, Marco, Schettini, Raimondo, Castelli, Mauro, Vanneschi, Leonardo

“… to process the input images rapidly. In this paper, we explore genetic programming (GP) as a meta-model…”
Získat plný text

A model‐driven approach for semantic web service modeling using web service modeling languages Autor Mohseni, Mohsen, Sohrabi, Mohammad Karim, Dorrigiv, Morteza

“… high‐level modeling language, such as the Unified Modeling Language (UML), to a low‐level semantic description, such as the Web Service Modeling Language (WSML…”
Získat plný text

MASSpy: Building, simulating, and visualizing dynamic biological models in Python using mass action kinetics Autor Haiman, Zachary B., Zielinski, Daniel C., Koike, Yuko, Yurkovich, James T., Palsson, Bernhard O.

“… MASSpy utilizes mass action kinetics and detailed chemical mechanisms to build dynamic models of complex biological processes…”
Získat plný text