1080 search results - page 86 / 216 » Modeling Constraint Programs with Software Technology Standa... |
124
Voted
JUCS
2008
15 years 2 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
106
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
114
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
120
Voted
IDA
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...
127
click to vote
EDOC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...