2521 search results - page 27 / 505 » Semantic Component Composition |
98
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
91
Voted
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
140
Voted
JLP
2010
14 years 7 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
74
Voted
ACS
2008
15 years 17 days ago
2008
The integration of two important categorical frameworks
86
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...