Sciweavers

524 search results - page 24 / 105
» ProbFAST: Probabilistic Functional Analysis System Tool
Sort
View
FORMATS
2006
Springer
14 years 22 days ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
DAWAK
2008
Springer
13 years 10 months ago
Top_Keyword: An Aggregation Function for Textual Document OLAP
For more than a decade, researches on OLAP and multidimensional databases have generated methodologies, tools and resource management systems for the analysis of numeric data. With...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...
AEI
1998
98views more  AEI 1998»
13 years 8 months ago
Function-directed electrical design analysis
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
Chris J. Price
BMCBI
2008
126views more  BMCBI 2008»
13 years 9 months ago
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...
Anne M. Denton, Jianfei Wu, Megan K. Townsend, Pre...
SP
2010
IEEE
194views Security Privacy» more  SP 2010»
14 years 29 days ago
Identifying Dormant Functionality in Malware Programs
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
Paolo Milani Comparetti, Guido Salvaneschi, Engin ...