1146 search results - page 85 / 230 » Applications of the TAMPR Transformation System |
130
Voted
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
147
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
129
click to vote
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
Anonymity is considered as a valuable property as far as everyday transactions in the Internet are concerned. Users care about their privacy and they seek for new ways to keep sec...
117
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
176
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...