3782 search results - page 514 / 757 » Engineering Social Order |
129
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
In the current research environment, funding agencies are increasingly required to demonstrate that the projects they fund represent value for money. When funds are disbursed in a ...
133
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
173
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
160
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
Prediction of time series is an important problem in many areas of science and engineering. Extending the horizon of predictions further to the future is the challenging and diffic...
148
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...