6274 search results - page 610 / 1255 » Proofs, Programs, Processes |
231
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
202
click to vote
SNPD
2003
15 years 8 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
145
click to vote
IJET
2007
15 years 7 months ago
2007
— This paper introduces the Online Customization and Enrollment Application Network (OCEAN), developed in the School of Engineering at the University of Bridgeport. OCEAN is an i...
169
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named Sp...
208
click to vote
PODS
2005
ACM
16 years 7 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...