Sciweavers

4616 search results - page 392 / 924
» Extreme Components Analysis
Sort
View
CERA
2010
146views more  CERA 2010»
15 years 6 months ago
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
Yutaka Nomaguchi, Tomohiro Taguchi, Kikuo Fujita
BMCBI
2004
98views more  BMCBI 2004»
15 years 6 months ago
Incidence of "quasi-ditags" in catalogs generated by Serial Analysis of Gene Expression (SAGE)
Background: Serial Analysis of Gene Expression (SAGE) is a functional genomic technique that quantitatively analyzes the cellular transcriptome. The analysis of SAGE libraries rel...
Sergey V. Anisimov, Alexei A. Sharov
SACMAT
2009
ACM
16 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
ASPDAC
2008
ACM
127views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Power grid analysis benchmarks
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
Sani R. Nassif
CCS
2008
ACM
15 years 8 months ago
Ether: malware analysis via hardware virtualization extensions
Malware has become the centerpiece of most security threats on the Internet. Malware analysis is an essential technology that extracts the runtime behavior of malware, and supplie...
Artem Dinaburg, Paul Royal, Monirul I. Sharif, Wen...