1173 search results - page 165 / 235 » On the Compositionality of Round Abstraction |
IFIPTCS
2000
14 years 1 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
ACAL
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
WSC
2008
14 years 10 days ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
WSC
2007
14 years 10 days ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
DIS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...