Sciweavers

1700 search results - page 157 / 340
» Specifying and implementing refactorings
Sort
View
110
Voted
CSDA
2010
87views more  CSDA 2010»
15 years 5 months ago
Semiparametric indirect utility and consumer demand
In this paper, we specify the indirect utility function as a partially linear model, where utility is nonparametric in expenditure and parametric (with fixed- or varying-coefficie...
Krishna Pendakur, Michael Scholz, Stefan Sperlich
ENTCS
2008
105views more  ENTCS 2008»
15 years 5 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
CLEIEJ
2006
108views more  CLEIEJ 2006»
15 years 5 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
CONNECTION
2006
101views more  CONNECTION 2006»
15 years 5 months ago
Learning acceptable windows of contingency
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
Kevin Gold, Brian Scassellati
ENTCS
2006
151views more  ENTCS 2006»
15 years 5 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump