9210 search results - page 391 / 1842 » Analyzing Real-Time Systems |
178
click to vote
JACIII
2008
15 years 6 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
174
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: The paper describes an approach for run-time modifying and adaptation of a complex GUI using a rule-based system. Elements of Intelligent User Interfaces (IUI) paradigm, involved...
209
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
174
click to vote
AVI
2004
15 years 8 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...
161
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...