2335 search results - page 85 / 467 » Type Checking Type Classes |
ECOOP
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
DCC
2008
IEEE
14 years 8 months ago
2008
IEEE
In a previous paper we derived an upper bound on the redundancy of an arithmetic-type encoder for a memoryless source, designed to meet a finite endto-end strict delay constraint....
ECML
2006
Springer
14 years 18 days ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
JUCS
2002
13 years 8 months ago
2002
: WordNet (WN) is a lexical knowledge base, first developed for English and then adopted for several Western European languages, which was created as a machinereadable dictionary b...
APSEC
1999
IEEE
14 years 1 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...