745 search results - page 17 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
ASM
2010
ASM
14 years 18 days ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
FOIS
2006
13 years 9 months ago
2006
The term `behavior' is used ubiquitously in engineering. It refers roughly to the way technical artifacts `behave' in a given or hypothetical situation, and plays a pivot...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Ontology summarization is very important to quick understanding and selection of ontologies. In this paper, we study extractive summarization of ontology. We propose a notion of R...