3809 search results - page 424 / 762 » Associative language descriptions |
208
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
187
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper describes the technique for translation of character n-grams we developed for our participation in CLEF 2006. This solution avoids the need for word normalizat...
224
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
189
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
223
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...