167 search results - page 25 / 34 » Behavioral Fault Modeling for Model-based Safety Analysis |
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
EURONGI
2006
Springer
13 years 11 months ago
2006
Springer
We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. In general, our aim is to study the performance as perceived by users in a dynamic...
SSS
2010
Springer
13 years 5 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
APWEB
2005
Springer
14 years 1 months ago
2005
Springer
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...