12981 search results - page 2377 / 2597 » Model Checking (Abstract) |
127
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper describes the participation of Dublin City University in the CriES (Cross-Lingual Expert Search) pilot challenge. To realize expert search, we combine traditio...
132
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
124
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
156
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
138
Voted
DAWAK
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Pearson product-moment correlation coefficients are a wellpracticed quantification of linear dependence seen across many fields. When calculating a sample-based correlati...