Search Results - Semantics of Programming Languages—Process models

Engineering a BPEL orchestration engine as a multi-agent system by Viroli, Mirko, Denti, Enrico, Ricci, Alessandro

“…: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of ReSpecT tuple centres, a coordination model extending Linda with the ability…”
Get full text

Systems Biology Graphical Notation: Process Description language Level 1 Version 1.3 by Moodie, Stuart, Le Novère, Nicolas, Demir, Emek, Mi, Huaiyu, Villéger, Alice

“… between different research communities, industry, and other players in systems biology. Three SBGN languages, Process Description (PD…”
Get full text

Systems Biology Graphical Notation: Activity Flow language Level 1 Version 1.2 by Mi, Huaiyu, Schreiber, Falk, Moodie, Stuart, Czauderna, Tobias, Demir, Emek, Haw, Robin, Luna, Augustin, Le Novère, Nicolas, Sorokin, Anatoly, Villéger, Alice

“… between different research communities, industry, and other players in systems biology. Three SBGN languages, Process Description (PD…”
Get full text

Systems Biology Graphical Notation: Entity Relationship language Level 1 Version 2 by Sorokin, Anatoly, Le Novère, Nicolas, Luna, Augustin, Czauderna, Tobias, Demir, Emek, Haw, Robin, Mi, Huaiyu, Moodie, Stuart, Schreiber, Falk, Villéger, Alice

“… between different research communities, industry, and other players in systems biology. Three SBGN languages, Process Description (PD…”
Get full text

An empirical study on the potential of word embedding techniques in bug report management tasks by Chen, Bingting, Zou, Weiqin, Cai, Biyu, Meng, Qianshuang, Liu, Wenjie, Li, Piji, Chen, Lin

“…) to do semantic extraction. Little attention is paid to exploring whether word embedding (WE) models from the natural language process could help BRM tasks…”
Get full text

DENOTATIONAL MODELS BASED ON SYNCHRONOUSLY COMMUNICATING PROCESSES (SEMANTICS, PROGRAMMING LANGUAGES) by 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…”
Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

“… was proposed.The interaction model of master-slave processes was described in a parallel programming language…”
Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

“… was proposed.The interaction model of master-slave processes was described in a parallel programming language…”
Get full text

SEMANTIC SEGMENTATION AND DIFFERENCE EXTRACTION VIA TIME SERIES AERIAL VIDEO CAMERA AND ITS APPLICATION by Yasushi Kiyoki, Shunta Saito, Yoshimitsu Aoki, Siti Nor Khuzaimah Binti Amit, Shiori Sasaki

Get full text

Plato and the Nerd: The Creative Partnership of Humans and Technology by Lee, Edward Ashford

“… Lee explores the ways that engineers use models and abstraction to build inventive artificial worlds and to give us things that we never dreamed…”
Get full text

Hands typing what hands do: Action–semantic integration dynamics throughout written verb production by Garcia, Adolfo M, Ibanez, Agustin

“… While this is well established for receptive language processes, no study has explored action…”
Get full 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 by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

Sentiment-Polarized Word Embedding for Multi-label Sentiment Classification by Zhang, Liujie, Zhou, Yanquan, Chen, Ruiqi, Duan, Xiuyu

“…Sentiment analysis of text is an import branch of natural language process. In this paper, we propose a sentiment-polarized word embedding model (SPWE…”
Get full text

Simplifying environmental model reuse by Holzworth, Dean P., Huth, Neil I., de Voil, Peter G.

“…The environmental modelling community has developed many models with varying levels of complexity and functionality…”
Get full text

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory by 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…”
Get full text

Developing Agent-Based Migration Models in Pairs by 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…”
Get full text

Distributed processes and location failures by Riely, James, Hennessy, Matthew

“…Site failure is an essential aspect of distributed systems; nonetheless its effect on programming language semantics remains poorly understood…”
Get full text

Brain Networks for Speech perception to Speech Production(<Feature Articles>Phonetics and Brain Science) by TATSUMI, Itaru F.

“…The most pervasive brain network model of spoken language processing is Wernicke-Lichtheim's classical view, which was revived by Geschwind in 1965 as the 'disconnexion' account…”
Get full text

Study on the prediction of gangue content rate in fully mechanized caving face based on DeepLab v3 by WANG Zhifeng, WANG Jiachen, LI Lianghui, AN Bochao

“…), was employed for image preprocessing. The DeepLab v3+ model was utilized for the semantic segmentation of coal-gangue images, which facilitated the calculation of the projected area gangue content rate…”
Get full text

Towards a Process Algebra for Shared Processors by Buchholtz, Mikael, Andersen, Jacob, Løvengreen, Hans Henrik

“… Applications of the model for process scheduling, programming language semantics, and kernel development are outlined…”
Get full text