3799 search results - page 760 / 760 » An Engineering Approach to Formal Methods |
WWW
2009
ACM
14 years 6 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
EUROSYS
2007
ACM
14 years 2 months ago
2007
ACM
Data centers are often under-utilized due to over-provisioning as well as time-varying resource demands of typical enterprise applications. One approach to increase resource utili...
VAMOS
2007
Springer
13 years 12 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
BMCBI
2010
13 years 5 months ago
2010
Background: Codon bias is believed to play an important role in the control of gene expression. In Escherichia coli, some rare codons, which can limit the expression level of exog...