3425 search results - page 174 / 685 » A Model Driven Approach for Software Systems Reliability |
113
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
124
click to vote
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
126
click to vote
FIW
2007
15 years 5 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
126
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
117
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...