366 search results - page 42 / 74 » Model-checking higher-order functions |
94
Voted
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
DELTA
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper is concerned with the study of human electroencephalogram (EEG) signal of an epileptic person. In classical EEG analysis rhythms in different bands have often been assu...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
MFCS
1993
Springer
15 years 3 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...