2777 search results - page 333 / 556 » Example centric programming |
116
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
125
Voted
JUCS
2008
15 years 3 months ago
2008
: This paper presents a novel market model for balancing communication bandwidth trade. The distinguishing characteristic of the model is that it assumes that market players can pl...
116
click to vote
JIB
2006
15 years 3 months ago
2006
The accessible surface of a macromolecule is a significant determinant of its action. The interaction between biomolecules or protein-ligand is dependent on their surfaces rather ...
141
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
115
click to vote
JPDC
2006
15 years 3 months ago
2006
We introduce Virtual Leashing,1 a new technique for software protection and control. The leashing process removes small fragments of code, pervasive throughout the application, an...