Results 271 to 280 of about 3,861,227 (307)

Semantic E-Workflow Composition

Journal of Intelligent Information Systems, 2003
Systems and infrastructures are currently being developed to support Web services. The main idea is to encapsulate an organization's functionality within an appropriate interface and advertise it as Web services. While in some cases Web services may be utilized in an isolated form, it is normal to expect Web services to be integrated as part of ...
Jorge Cardoso 0001, Amit P. Sheth
openaire   +3 more sources

Specifying with defaults: Compositional semantics

1998
We present an abstract specification theory that formalizes non-monotonic composition constructs from specification languages providing explicit non-monotonic mechanisms as a specification facility. This theory generalizes the institutional framework from Goguen and Burstall by adding defeasibility mechanisms to a given institution. The denotation of a
F. Miguel Dionísio, Udo W. Lipeck
openaire   +1 more source

Video composition methods and their semantics

[Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing, 1991
A comparison is made of four modular composition methods suitable for pipeline architectures, including object-based and pel-based composition methods with absolute or relative ordering. For each composition method, it is shown what it does, what it means physically, and thus what limitation it imposes.
Horng-Dar Lin, David G. Messerschmitt
openaire   +1 more source

The Neural Consequences of Semantic Composition

Journal of Cognitive Neuroscience
Abstract Humans can create completely new concepts through semantic composition. These “conceptual combinations” can be created by attributing the features of one concept to another (e.g., a “lemon flamingo” might be a yellow flamingo) or drawing on a relationship between concepts (e.g., a “lemon flamingo” might consume lemons).
Heather Bruett, Marc N. Coutanche
openaire   +2 more sources

A Compositional Trace Semantics for Orc

2008
Orc [9] is a language for task orchestration. It has a small set of primitives, but sufficient to express many useful programs succinctly. We identify an ambiguity in the trace semantics of Kitchin et al. [9]. We give possible interpretations of the ambiguous definition and show that the semantics is not adequate regardless of the interpretation.
Dimitrios Vardoulakis, Mitchell Wand
openaire   +1 more source

A compositional semantics of UML-RSDS

Software & Systems Modeling, 2007
This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools.
openaire   +2 more sources

Compositional Vector Semantics in Spiking Neural Networks

STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health, 2023
Martha Lewis
exaly  

Compositional Semantics and Analysis of Hierarchical Block Diagrams

SPIN, 2016
I. Dragomir, V. Preoteasa, S. Tripakis
semanticscholar   +1 more source

Extensions in Compositional Semantics

2022
openaire   +1 more source

Syntactic and Semantic Composition

Brain and Language, 2000
openaire   +2 more sources