Sciweavers

2784 search results - page 78 / 557
» Light analysis of complex systems
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 1 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,...
TSP
2008
100views more  TSP 2008»
13 years 7 months ago
Finite-Sample Performance Analysis of Widely Linear Multiuser Receivers for DS-CDMA Systems
Abstract--This paper tackles the theoretical performance analysis of widely-linear (WL) multiuser receivers for direct-sequence code-division multiple-access (DS-CDMA) systems, as ...
Angela Sara Cacciapuoti, Giacinto Gelli, Luigi Pau...
QSIC
2005
IEEE
14 years 1 months ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
CDC
2009
IEEE
14 years 21 days ago
Schur-based decomposition for reachability analysis of linear time-invariant systems
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
Shahab Kaynama, Meeko Oishi
IAT
2006
IEEE
14 years 2 months ago
Empirical Analysis for Agent System Comprehension and Verification
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber