12289 search results - page 626 / 2458 » computing 2006 |
153
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We devised a novel statistical technique for the identification of the translation equivalents of source words obtained by transformation rule based translation (TRT). The effecti...
191
click to vote
ATC
2006
Springer
15 years 11 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
142
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
177
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
146
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...