3441 search results - page 469 / 689 » Parallel Logic Programming Systems |
157
click to vote
SEW
2006
IEEE
15 years 11 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
129
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
136
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...
125
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
165
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...