4516 search results - page 253 / 904 » Automated System Design for Availability |
174
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
184
Voted
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
166
click to vote
HCI
2009
15 years 4 months ago
2009
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
155
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
The problem of sensor fault diagnosis in the class of nonlinear Lipschitz systems is considered. A dynamic observer structure is used with the objective to make the residual conve...
211
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Embedded processors are required to achieve high performance while running on batteries. Thus, they must exploit all the possible means available to reduce energy consumption w...