Sciweavers

2851 search results - page 67 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
DSN
2005
IEEE
15 years 10 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
KI
2004
Springer
15 years 9 months ago
Improving Fault Localization of Programs by Using Labeled Dependencies
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
Rong Chen, Daniel Köb, Franz Wotawa
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 4 months ago
A Markov Chain based method for generating long-range dependence
This paper describes a model for generating time series which exhibit the statistical phenomenon known as long-range dependence (LRD). A Markov Modulated Process based upon an inf...
Richard G. Clegg, Maurice Dodson
HASE
2007
IEEE
15 years 10 months ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
AAAI
2004
15 years 5 months ago
Agent-Based Modeling with Social Networks for Terrorist Recruitment
The Seldon model combines concepts from agent-based modeling and social network analysis to create a computation model of social dynamics for terrorist recruitment. The underlying...
Teresa H. Ko, Nina M. Berry