Sciweavers

1187 search results - page 149 / 238
» On Modeling Cross-Talk Faults
Sort
View
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
14 years 24 days ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
HPCN
2000
Springer
14 years 12 days ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
ICCS
2003
Springer
14 years 2 months ago
Interacting Data Services for Distributed Earthquake Modeling
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
Marlon E. Pierce, Choon-Han Youn, Geoffrey Fox
SEC
2008
13 years 10 months ago
A Fuzzy Model for the Composition of Intrusion Detectors
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
Inez Raguenet, Carlos Maziero
IJCAI
1989
13 years 10 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...