3801 search results - page 167 / 761 » An Approach to Modeling Software Safety |
136
click to vote
FIW
2007
15 years 6 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 ...
132
click to vote
ICAS
2006
IEEE
15 years 10 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 ...
124
click to vote
CDC
2009
IEEE
15 years 9 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...
146
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
169
click to vote
SE
2007
15 years 5 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...