18429 search results - page 372 / 3686 » Typing dynamic typing |
190
Voted
MSCS
2008
15 years 6 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
199
click to vote
MST
2008
15 years 6 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
151
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...