811 search results - page 132 / 163 » Refactoring Using Type Constraints |
DKE
2007
13 years 8 months ago
2007
In aspect-oriented programming (AOP) a cross-cutting concern is implemented in an aspect. An aspect weaver blends code from the aspect into a program’s code at programmer-specifi...
EAAI
2007
13 years 8 months ago
2007
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
AMAI
2005
Springer
13 years 8 months ago
2005
Springer
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
SYNTHESE
2008
13 years 8 months ago
2008
The interest of epistemic comparative conditionals comes from the fact that they represent genuine `comparative epistemic relations' between propositions, situations, evidence...
TOG
2008
13 years 8 months ago
2008
We present a new discrete velocity-level formulation of frictional contact dynamics that reduces to a pair of coupled projections and introduce a simple fixed-point property of th...