2123 search results - page 251 / 425 » Composition of Cyber-Physical Systems |
157
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...
162
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...
159
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...
147
click to vote
ENTCS
2008
15 years 6 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
147
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...