Sciweavers

2746 search results - page 125 / 550
» Case Study in Survivable Network System Analysis
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 3 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
ECAI
2004
Springer
15 years 3 months ago
Diagnosability Analysis of Distributed Discrete Event Systems
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
Yannick Pencolé
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
15 years 3 months ago
A Soft Systems Analysis of Social Cognition In Boundary-Spanning Innovation
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
Susan Gasson
108
Voted
IWPC
2006
IEEE
15 years 4 months ago
Dynamic Analysis of Software Systems using Execution Pattern Mining
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
Hossein Safyallah, Kamran Sartipi
ICSE
2009
IEEE-ACM
15 years 4 months ago
Using quantitative analysis to implement autonomic IT systems
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
Radu Calinescu, Marta Z. Kwiatkowska