1097 search results - page 189 / 220 » Revision Programming = Logic Programming Integrity Constra... |
175
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
128
Voted
SOFSEM
2005
Springer
15 years 8 months ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
114
click to vote
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
105
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
107
Voted
CCE
2011
14 years 9 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...