1454 search results - page 11 / 291 » Stateful traits and their formalization |
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
COCOON
2009
Springer
15 years 7 months ago
2009
Springer
In [3], the authors introduced the Generalised Character Compatibility Problem as a generalisation of the Perfect Phylogeny Problem for a set of species. This generalised problem t...
ISMIS
2003
Springer
15 years 5 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
ICANN
2003
Springer
15 years 5 months ago
2003
Springer
We consider the Contextual Recursive Cascade Correlation model (CRCC), a model able to learn contextual mappings in structured domains. We propose a formal characterization of the ...