3082 search results - page 144 / 617 » Deviation Analysis: A New Use of Model Checking |
170
click to vote
RECOMB
2001
Springer
15 years 10 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
190
click to vote
AEI
2007
15 years 6 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
182
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
279
click to vote
ENTCS
2006
15 years 6 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
160
click to vote
IJCAT
2008
15 years 6 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...