Sciweavers

854 search results - page 34 / 171
» Abstracting from Failure Probabilities
Sort
View
CIKM
2008
Springer
15 years 3 months ago
PROQID: partial restarts of queries in distributed databases
In a number of application areas, distributed database systems can be used to provide persistent storage of data while providing efficient access for both local and remote data. W...
Jon Olav Hauglid, Kjetil Nørvåg
HASE
2008
IEEE
15 years 8 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
CORR
2011
Springer
143views Education» more  CORR 2011»
14 years 5 months ago
Probabilistic Logic: Many-valuedness and Intensionality
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
Zoran Majkic
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
15 years 8 months ago
Complex Interacting Infrastructure Systems
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
Ian Dobson
HICSS
2007
IEEE
97views Biometrics» more  HICSS 2007»
15 years 8 months ago
Interdependent Risk in Interacting Infrastructure Systems
Critical infrastructures display many of the characteristic properties of complex systems. They exhibit infrequent large failures events that often obey a power law distribution i...
Benjamin A. Carreras, David E. Newman, Paul Gradne...