Sciweavers

8022 search results - page 342 / 1605
» Predictability in Critical Systems
Sort
View
METAINFORMATICS
2005
Springer
16 years 7 days ago
Issues of usability in hypermedia systems: a usability estimation questionnaire for hypermedia designers
Open Hypermedia have come up with several systems, which can provide services to software developers. This paper argues that usability is a critical attribute that should be taken...
Nikos Tsirakis, Nikos Karousos, George Gkotsis
EUROPAR
2001
Springer
15 years 11 months ago
Polynomial Preconditioning for Specially Structured Linear Systems of Equations
For the solution of the SID (Symmetric InDefinite) linear systems, the use of the GLS (Generalized Least-Squares) polynomial preconditioner can improve the execution efficiency of...
Y. Liang, Jim Weston, Marek Szularz
ACSW
2006
15 years 8 months ago
SKMA: a key management architecture for SCADA systems
Supervisory Control And Data Acquisition (SCADA) systems are widely used in the management of critical infrastructure such as electricity and water distrubution systems. Currently...
Robert Dawson, Colin Boyd, Ed Dawson, Juan Manuel ...
ICMAS
2000
15 years 8 months ago
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...
Chrysanthos Dellarocas, Mark Klein
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley