2036 search results - page 84 / 408 » A generic type-and-effect system |
138
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
In [1] we propose interchangeability based algorithms as methods for solving the case adaptation for the domain of problems which can be expressed as Constraint Satisfaction Proble...
115
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatic software reengineerings change or repair existing software systems. They are usually tailor-made for a specific customer and language dependent. Maintaining similar ree...
162
click to vote
WSC
2007
15 years 8 months ago
2007
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
194
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
229
click to vote
OOPSLA
2007
Springer
16 years 14 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...