844 search results - page 77 / 169 » More On Implicit Syntax |
139
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
153
click to vote
FSE
2004
Springer
15 years 9 months ago
2004
Springer
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...
135
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
131
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
153
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...