1357 search results - page 50 / 272 » Compositional analysis for linear systems |
ICTCS
2005
Springer
14 years 3 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
WORDS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...