4476 search results - page 148 / 896 » Modeling software architectures in the Unified Modeling Lang... |
172
click to vote
APAL
2011
14 years 9 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
108
click to vote
ICDCSW
2002
IEEE
15 years 6 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...