1026 search results - page 186 / 206 » A Methodology for Equational Reasoning |
106
click to vote
HIKM
2006
ACM
15 years 7 months ago
2006
ACM
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
110
click to vote
HPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
100
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...
124
click to vote
LOPSTR
1997
Springer
15 years 6 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
125
Voted
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...