15644 search results - page 73 / 3129 » Brittle System Analysis |
180
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 6 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
153
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
120
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Knowledge Management Systems (KMS) play increasingly important roles in organizations due to the realization of the value of knowledge and capabilities of computerized systems to ...
165
click to vote
SRDS
1993
IEEE
15 years 8 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
122
click to vote
CGVR
2006
15 years 6 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...