4502 search results - page 693 / 901 » Regular Model Checking |
192
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
190
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
136
click to vote
IWANN
2007
Springer
16 years 13 days ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
153
Voted
ADBIS
2006
Springer
16 years 9 days ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
168
click to vote
SIGMETRICS
2010
ACM
15 years 4 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...