2341 search results - page 405 / 469 » Using ontologies for simulation integration |
CAEPIA
2003
Springer
14 years 29 days ago
2003
Springer
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
IPPS
2002
IEEE
14 years 19 days ago
2002
IEEE
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...
CSE
2009
IEEE
14 years 13 days ago
2009
IEEE
—In this paper we propose a clustering and routing scheme for wireless sensor networks based on a self-organizing approach. The aim of this approach is for nodes to perform an in...
CAV
2001
Springer
14 years 7 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ICDCS
1999
IEEE
14 years 20 hour ago
1999
IEEE
In this paper, we describe the design and implementation of an integrated architecture for cache systems that scale to hundreds or thousands of caches with thousands to millions o...