345 search results - page 31 / 69 » Quantitative analysis of static models of processes |
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
WSC
2004
15 years 1 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
BIBE
2000
IEEE
15 years 4 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
115
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...