2864 search results - page 325 / 573 » Constraint Programming in OPL |
134
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
125
click to vote
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
132
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
139
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
102
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...