Sciweavers

1098 search results - page 118 / 220
» System safety as an emergent property in composite systems
Sort
View
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
14 years 1 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 6 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
MR
2007
173views Robotics» more  MR 2007»
13 years 8 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
WWW
2005
ACM
14 years 9 months ago
Ensuring required failure atomicity of composite Web services
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
Sami Bhiri, Olivier Perrin, Claude Godart
ICASSP
2011
IEEE
13 years 20 days ago
An optimal filtering for unmasked noise prevention
A new estimator, optimal in the frequency domain with respect to the masking properties of the human auditory system, is proposed. This new filtering technique prevents the emerg...
Asmaa Amehraye, Lionel Fillatre, Dominique Pastor