1914 search results - page 284 / 383 » Verification by Abstract Interpretation |
139
Voted
ADBIS
2006
Springer
15 years 4 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
137
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
104
Voted
DSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
122
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
109
Voted
DAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we present a text independent on-line writer identification system based on Gaussian Mixture Models (GMMs). This system has been developed in the context of...