4434 search results - page 553 / 887 » On the Composition of Hybrid Systems |
156
click to vote
WSC
1998
15 years 8 months ago
1998
The increasing use of discrete simulation in modelling large and complex systems brings new challenges. One such challenge is the need to devise ways of developing modular approac...
189
Voted
COLING
1990
15 years 8 months ago
1990
: This paper outlines a framework for connectionist representation based on the composition of connectionist states under vector space operators. The framework is used to specify a...
166
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
164
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...