4770 search results - page 162 / 954 » Flexible Type Analysis |
158
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
138
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
134
click to vote
WSC
2001
2001
Quantifying simulation output variability using confidence intervals and statistical process control
15 years 6 months ago
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
151
Voted
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—Questioned Document Examination processes often encompass analysis of torn documents. To aid a forensic expert, automatic classification of content type in torn documents might ...
133
Voted
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...